Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Search results for type system typechecker

type-system x
typechecker x
6 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. 🚧
Sound And Complete ⭐ 81
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
Rust Nbe For Mltt ⭐ 78
Normalization by evaluation for Martin-Löf Type Theory with dependent records
Typology ⭐ 68
Swift type checking and semantic analysis for developer tools
Typechecker Evolution ⭐ 44
The Evolution of a Typechecker
Tandoori ⭐ 30
Compositional type checking for Haskell
Pyrser ⭐ 26
A PEG Parsing Tool
Toy Macro Ml ⭐ 23
An implementation of MacroML [Ganz, Sabry & Taha 2001]
Anders ⭐ 14
🧊 Модальний Гомотопічний Прувер
Catt ⭐ 13
Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories
Anders ⭐ 13
Anders: Cubical Type Checker
Ttstar ⭐ 12
Dependently typed core calculus with erasure
Related Searches
Types Type System (228)
1-6 of 6 search results
Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source.  All rights reserved.