Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 4 Rust Compiler Dependent Types Open Source Projects

Open source projects categorized as Rust Compiler Dependent Types
Categories > Compilers > Compiler
Categories > Programming Languages > Dependent Types
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Fathom ⭐ 235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit a year ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125most recent commit 3 months ago
Owo ⭐ 61
Placeholder for the OwO compiler
most recent commit 5 years ago
The 2 Latest Releases In Rust Compiler Dependent Types Open Source Projects
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125latest release July 22, 2023most recent commit 3 months ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1latest release July 24, 2018most recent commit 3 years ago
Popular Compilers Categories
Llvm
Abstract Syntax Tree
Gcc
Clang
Emscripten
Wsl
Lexer
Jit
Ghc
Ida
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.