Skip to content

The systems programming language for flexibility, performance, security, and runtime guarantees—with a powerful type system supporting first-class types, dependent and linear types, and Turing-complete metacompilation enabling code and type editing at compile time.

License

Notifications You must be signed in to change notification settings

osta-lang/costa.rs

Osta Programming Language

Osta is the systems programming language for flexibility, performance, security, and runtime guarantees—based on Rust while incorporating features inspired by Zig and C3, targeting C's legendary flexibility and performance, with a powerful type system that treats types as first-class citizens, enabling dependent types, linear types, and Turing-complete meta-compilation to manipulate code or types at compile time using Osta itself.

Features

  • First-Class Types: Types are values that can be manipulated at runtime and compile time.
  • Dependent Types: Ensure correctness by making types depend on values.
  • Linear Types: Guarantee resource management without garbage collection.
  • Meta-Compilation: Write Osta code to transform your program during compilation.
  • C Compatibility: Seamless interoperability with existing C codebases.
  • Modern Syntax: Borrowed from Rust, Zig, and C3 for improved safety and expressiveness.

Status

The Osta compiler is in its early development stages. Currently, there are no methods available to compile or run Osta programs. The syntax is subject to frequent changes as the language evolves.

Documentation

For the most up-to-date information on syntax, features, and development progress, please refer to the documentation.

Contributing

We welcome contributions to help shape Osta's future! Whether it's code, documentation, bug reports, or feature suggestions, your input is valuable. Please read our CONTRIBUTING.md for detailed guidelines on how to get involved, including our code of conduct, issue reporting, and pull request processes.

To contribute:

  • Fork the repository.
  • Create a new branch for your changes.
  • Commit your modifications.
  • Open a pull request describing your changes.

We also encourage participation in discussions on GitHub Issues for proposing new features or syntax ideas.

License

Osta is licensed under the MIT License. See the LICENSE file for full details.

Community and Support

  • Issues: Report bugs or request features via GitHub Issues.
  • Discussions: Join conversations about Osta's development on GitHub Discussions.
  • Roadmap: Check the project milestones for upcoming features and priorities.

About

The systems programming language for flexibility, performance, security, and runtime guarantees—with a powerful type system supporting first-class types, dependent and linear types, and Turing-complete metacompilation enabling code and type editing at compile time.

Resources

License

Code of conduct

Contributing

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages