atlas_77

Crates.io	atlas_77
lib.rs	atlas_77
version	0.7.3
created_at	2025-01-07 00:49:49.140702+00
updated_at	2026-01-18 17:36:16.817403+00
description	Wannabe systems programming language on a custom VM (for now).
homepage	https://atlas77-lang.github.io/atlas77-docs/
repository	https://github.com/atlas77-lang/Atlas77
max_upload_size
id	1506465
size	1,359,014

Gipson62 (Gipson62)

documentation

README

Atlas77

An experimental statically typed systems programming language designed to be a goofy cousin to C++.
Explore the docs »

Playground · Report Bug · Request Feature

About The Project

Atlas77 is an experimental statically typed systems language designed around a small core and everything else be userland. It runs on a custom VM and aims to provide a clear, minimal foundation for building higher-level abstractions in libraries rather than in the compiler itself.

[!Note] The VM will be reworked soon as it doesn't really fit the language design anymore.

The 2 core philosophies are simple:

Keep the core language tiny, make everything else userland.
Safety opt-in: you pay for what you use.

Well... Now that I have added full on move semantics, I am not sure about the second point anymore. The language is now safe by default... ig, I could add some features to let you shoot yourself in the foot if you really want to.

[!Note] If you find the code to be messy, it's because it kinda is. I am sort of "speedrunning" the bootstrapping of the language, so the Rust implementation is not really the main focus right now.

Getting Started

Prerequisites

Rust Compiler

curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh

Or directly from their website: Rust

Installation

Install it from Cargo
```
cargo install atlas_77
```

[!Note] I recommend you to build it yourself, as the version on Cargo is not up to date at all. The cargo version is lacking behind regarding bug fixes.

Use it as a CLI
```
atlas_77 --help
```
Enjoy!

Usage

Hello World

import "std/io"
fun main() {
    println("Hello, World!");
}

Fibonacci Example

import "std/io";

fun fib(n: int64) -> int64 {
    if n <= 1 {
        return n;
    }
    return fib(n - 1) + fib(n - 2);
}

fun main() {
    let n: int64 = 10;
    print(fib(n));
}

For more examples, see the examples folder

Features

Roadmap

v0.1 & v0.2

There never was any official v0.1 or v0.2 releases, they were just internal milestones.

v0.3 "Foundation"

Deprecated, if you want to know more about the v0.3.x, check the releases page.

v0.4 "Keystone"

Deprecated, if you want to know more about the v0.4, check the releases page.

[!Warning] This version no longer compiles for some reason, so the source code is still accessible, but you can't build it.

v0.4 "Keystone"

v0.5 "Phoenix"

The v0.5 was a complete rewrite of Atlas77, but because of some major design issues in syntax, semantic, memory management, compiler and everything it didn't get any more updates after the v0.5.2 (which is still accessible).

Deprecated, if you want to know more about the v0.5.x, check the releases page.

v0.6.x "Bastion"

The v0.6.x series was a redesign of Atlas77 using everything that worked in the v0.5, but making it better and more consistent. It introduced a lot of new features and improvements, including, but not limited to:

Generics for functions and structs (not for struct methods yet)
Multi file projects that works similarly to this semantically (yes it's bad, but it will be fixed in later versions):

#ifndef MYMODULE_ATLAS77
#define MYMODULE_ATLAS77
#endif

Unions to allow for more flexible data structures
Enums, only the C-like enums are supported for now
Static access to struct methods (no static fields yet)
References with & and dereferencing with *

NB: They are kinda broken in this version, it's fixed in v0.7.x

Improved standard library with more modules and functions
Many bug fixes and performance improvements
Introducing of std::copyable constraints for generics to allow only copyable types

It's only there for the groundwork of move/copy semantics in v0.7.x

Deprecated, if you want to know more about the v0.6.x, check the releases page.

v0.7.x "Covenant"

This version will focus on correctness, fix

Introduction of move/copy semantics to enable safer code and automatic scope cleanup
Rework of the _copy constructor semantics
Expansion and stabilization of parts of the standard library
Introduction of memcpy<T>(&T) -> T for explicit shallow copies
Addition of a HIR pretty printer to inspect the output of the compiler after the last HIR pass.

Stability and Refinement

As the language is still in alpha (not 1.0 yet), I won't make "alpha"/"beta" build, it doesn't really make sense.

The beta phase (before v1.0.0) will focus on stabilizing the language. All features will be finalized, tested extensively, and optimized for real-world use. This phase will serve as a release candidate.

See the open issues for a full list of proposed features (and known issues).

Philosophy

I am making this language for myself, to learn more about programming languages, compilers, VMs and all that stuff.

I'll try to make it easy to use, but still a bit "cringey". I hope I can at least hit one of the long-term goals.

Long-Term Goals

Bootstrapping the compiler in Atlas77 itself
Building a minimal ECS in pure Atlas77
Building a simple game engine with OpenGL bindings
Providing a package manager written in Atlas77
LSP support for editors

Contributing

Contributions are what make the open source community such an amazing place to learn, inspire, and create. Any contributions you make are greatly appreciated.

If you have a suggestion that would make this better, please fork the repo and create a pull request. You can also simply open an issue with the tag "enhancement". Don't forget to give the project a star! Thanks again!

Fork the Project
Create your Feature Branch (git checkout -b feature/AmazingFeature)
Commit your Changes (git commit -m 'Add some AmazingFeature')
Push to the Branch (git push origin feature/AmazingFeature)
Open a Pull Request

Top contributors:

Made with contrib.rocks.

Special thanks

Here is a list of repositories that helped me a lot while making Atlas77:

I either used them as inspiration, reference or learning material.

License

Distributed under the MIT License. See LICENSE.txt for more information.

Contact

Your Name - @Gipson62_8015 - J.H.Gipson62@gmail.com

Project Link: https://github.com/atlas77-lang/Atlas77

Commit count: 703