Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for dependent types typechecker
dependent-types
x
typechecker
x
5 search results found
Pikelet
⭐
507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
Fathom
⭐
235
🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧
Rust Nbe For Mltt
⭐
78
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Dfuzz
⭐
20
Linear Dependent Types for Differential Privacy TypeChecker
Kontroli Rs
⭐
19
Alternative implementation of the logical framework Dedukti in Rust
Anders
⭐
14
🧊 Модальний Гомотопічний Прувер
Anders
⭐
13
Anders: Cubical Type Checker
Ttstar
⭐
12
Dependently typed core calculus with erasure
Type Indexed Queues
⭐
7
Queues with verified and unverified versions
Bravo
⭐
6
Castle Bravo: Experimental HoTT Implementation
Nbe A Tutorial
⭐
6
Checking Dependent Types with Normalization by Evaluation
Related Searches
Types Typechecker (81)
Haskell Dependent Types (62)
1-5 of 5 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.