Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 12 Rust Type Theory Open Source Projects

Open source projects categorized as Rust Type Theory
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
Lura ⭐ 28
🍞 | IDE focused programming language study
most recent commit 5 months ago
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
most recent commit 4 years ago
Type Theory ⭐ 27
Typed λ-calculus in Rust
most recent commit 10 months ago
Hashc ⭐ 21
The Hash programming language compiler ⚡
most recent commit 3 months ago
L1ir ⭐ 8
Intermediate Representation of LSTS L1 Language
dependent packages 2total releases 52most recent commit a year agocargo l1_ir} Downloads
Strict Encoding ⭐ 7
Protobufs for functional programming
dependent packages 61total releases 90most recent commit 4 months agocargo strict_encoding} Downloads
The 4 Most Depended On Rust Type Theory Open Source Projects
Strict Encoding ⭐ 7
Protobufs for functional programming
dependent packages 61total releases 90latest release October 09, 2023most recent commit 4 months agocargo strict_encoding} 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
L1ir ⭐ 8
Intermediate Representation of LSTS L1 Language
dependent packages 2total releases 52latest release March 05, 2023most recent commit a year agocargo l1_ir} 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 6 Latest Releases In Rust Type Theory Open Source Projects
Strict Encoding ⭐ 7
Protobufs for functional programming
dependent packages 61total releases 90latest release October 09, 2023most recent commit 4 months agocargo strict_encoding} Downloads
L1ir ⭐ 8
Intermediate Representation of LSTS L1 Language
dependent packages 2total releases 52latest release March 05, 2023most recent commit a year agocargo l1_ir} 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.