Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 6 Rust Dependent Types Type Theory Open Source Projects

Open source projects categorized as Rust Dependent Types Type Theory
Categories > Programming Languages > Dependent Types
Categories > Compilers > Type Theory
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Path_semantics ⭐ 156
A research project in path semantics, a re-interpretation of functions for expressing mathematics
most recent commit 3 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
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
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
The 2 Most Depended On Rust Dependent Types Type Theory 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
The 4 Latest Releases In Rust Dependent Types Type Theory 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
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.