Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 14 Rust Dependent Types Open Source Projects

Open source projects categorized as Rust Dependent Types
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Awesome Rust Formalized Reasoning ⭐ 246
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
most recent commit 3 months ago
Fathom ⭐ 235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
most recent commit a year ago
Path_semantics ⭐ 156
A research project in path semantics, a re-interpretation of functions for expressing mathematics
most recent commit 3 months ago
Lsts ⭐ 96
A proof assistant that is also a programming language.
total releases 125most recent commit 4 months ago
Rust Nbe For Mltt ⭐ 78
Normalization by evaluation for Martin-Löf Type Theory with dependent records
most recent commit 2 years 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
Kontroli Rs ⭐ 19
Alternative implementation of the logical framework Dedukti in Rust
most recent commit 4 months ago
Proost ⭐ 11
A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
most recent commit a year ago
Grace ⭐ 5
A gradually-typed garbage-collected WebAssembly language
most recent commit 7 months ago
The 3 Most Depended On Rust 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 6 Latest Releases In Rust 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 4 months ago
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.