/Nitrous-Oxide

Compiler for research language Nitro, a functional language with a safe FFI that doesn't need to translate data types.

Primary LanguageRust

N₂O - Nitrous Oxide

Nitro is a functional language that offers a safe foreign function interface without marshalling. This means Nitro can call or be called by other languages without encoding or decoding the foreign data. Nitro can operate on foreign data efficiently, while enforcing low-level constraints using its advanced type system.

This is the main source code reposity for the Nitro programming language. It contains the current Nitro compiler N₂O, as well as tools and documentation for Nitro.

Quick Start

Its not done yet. Why are you even reading this.

Background

The Nitro programming language was originally designed and developed by Dr. Allan Clark, while researching at the University of Edinburgh. The original design of the Nitro programming language and its respective compilers can be found in Dr. Clark's PhD thesis.

None of this would have been possible without the original work of Dr. Allan Clark and his advising team. For that work, we are thankful.

Contributors

This project exists thanks to those who have contributed. People such as:

Contributing

Todo

Sponsors