Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 19 Language Type Theory Open Source Projects

Open source projects categorized as Language Type Theory
Categories > Compilers > Type Theory
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Pikelet ⭐ 507
A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧
total releases 1most recent commit 3 years ago
Typedefs ⭐ 343
Programming language agnostic type construction language based on polynomials.
most recent commit 3 years ago
Ditto ⭐ 130
A Super Kawaii Dependently Typed Programming Language
most recent commit 6 years ago
Cicada Solo ⭐ 125
Cicada Language (solo version)
most recent commit 6 months ago
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38most recent commit 6 months agonpm cicada-lang} 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
Narc Rs ⭐ 50
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
total releases 8most recent commit 4 years ago
Type Theory Compiler ⭐ 38
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
most recent commit 5 years ago
Lplzoo ⭐ 31
Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
most recent commit 3 years ago
Hashc ⭐ 21
The Hash programming language compiler ⚡
most recent commit 3 months ago
Manifold ⭐ 18
Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.
most recent commit 6 years ago
Mlpolyr ⭐ 17
The MLPolyR programming language, revived
most recent commit 4 years ago
Cs1113f16 ⭐ 14
CS1 through Type Theory
most recent commit 7 years ago
Radical Julia ⭐ 10
Radical ideas for the Julia language.
most recent commit 4 years ago
Myrddin ⭐ 9
most recent commit 9 years ago
Direct Reflection For Free ⭐ 8
using Data and Typeable to get a direct reflection system for free, when we're implementing a toy language in Haskell
most recent commit 4 years ago
Awesome Agda Programming ⭐ 7
Awesome Agda Programming
most recent commit 4 years ago
Iotatt ⭐ 7
A PTS Supporting Induction
most recent commit 6 years ago
The 2 Most Depended On Language Type Theory Open Source Projects
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 6 months agonpm cicada-lang} 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 Language Type Theory Open Source Projects
Cicada ⭐ 80
Cicada Language
dependent packages 4total releases 38latest release October 09, 2021most recent commit 6 months agonpm cicada-lang} 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.