Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Rust Programming Language Dependent Types Open Source Projects

Open source projects categorized as Rust Programming Language Dependent Types
Categories > Programming Languages > Dependent Types
Categories > Programming Languages > Programming Language
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
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9most recent commit 3 months agonpm rowscript} Downloads
Voile Rs ⭐ 74
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent packages 2total releases 15most recent commit 4 years agocargo voile-util} Downloads
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7most recent commit 4 years agocargo minitt-util} Downloads
Owo ⭐ 61
Placeholder for the OwO compiler
most recent commit 5 years ago
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
Grace ⭐ 5
A gradually-typed garbage-collected WebAssembly language
most recent commit 7 months ago
The 3 Most Depended On Rust Programming Language Dependent Types Open Source Projects
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7latest release September 21, 2020most recent commit 4 years agocargo minitt-util} Downloads
Voile Rs ⭐ 74
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent packages 2total releases 15latest release December 01, 2019most recent commit 4 years agocargo voile-util} Downloads
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9latest release May 24, 2023most recent commit 3 months agonpm rowscript} Downloads
The 5 Latest Releases In Rust Programming Language Dependent Types Open Source Projects
Rowscript ⭐ 78
RowScript is a robustly-typed functional language that compiles to efficient and reliable JavaScript.
dependent packages 1total releases 9latest release May 24, 2023most recent commit 3 months agonpm rowscript} Downloads
Minitt Rs ⭐ 68
Dependently-typed lambda calculus, Mini-TT, extended and implemented in Rust
dependent packages 5total releases 7latest release September 21, 2020most recent commit 4 years agocargo minitt-util} Downloads
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8latest release January 18, 2020most recent commit 4 years ago
Voile Rs ⭐ 74
Dependently-typed row-polymorphic programming language, evolved from minitt-rs
dependent packages 2total releases 15latest release December 01, 2019most recent commit 4 years agocargo voile-util} Downloads
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 Programming Languages Categories
Python
Javascript
Java
Typescript
C Plus Plus
Php
Golang
C
C Sharp
Shell
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.