Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 14 Functional Programming Type Theory Open Source Projects

Open source projects categorized as Functional Programming Type Theory
Categories > Software Development > Functional Programming
Categories > Compilers > Type Theory
Plt ⭐ 5,018
Programming Language Theory λΠ
most recent commit 9 months ago
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105most recent commit 5 months agonpm kind-lang} Downloads
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 4 years ago
Typefunc ⭐ 182
Resources for type theory, functional programming, etc.
most recent commit 3 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
Typonomikon ⭐ 11
Źródła mojej książki o Coqu, programowaniu funkcyjnym, teorii typów, logice konstruktywnej i innych takich.
most recent commit 4 months ago
Fuml ⭐ 10
Functional Minimal Language
most recent commit 2 years ago
Programming Language Research ⭐ 10
Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.
most recent commit a year ago
L1ir ⭐ 8
Intermediate Representation of LSTS L1 Language
dependent packages 2total releases 52most recent commit a year agocargo l1_ir} Downloads
Grammar Experimentation ⭐ 8
An experimental programming language containing a higher-order type system
most recent commit 4 years ago
Platypus ⭐ 7
Lunchtime type theory study group in Sydney
most recent commit 6 years ago
Strict Encoding ⭐ 7
Protobufs for functional programming
dependent packages 61total releases 90most recent commit 4 months agocargo strict_encoding} Downloads
3tier ⭐ 6
[Archived] A prototype 3-tier web application written in PureScript.
most recent commit 3 years ago
Mini Yu ⭐ 5
A dependently typed programming language prototype
most recent commit a year ago
The 3 Most Depended On Functional Programming 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
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
The 3 Latest Releases In Functional Programming 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
Kind ⭐ 3,420
A next-gen functional language
dependent packages 2total releases 105latest release February 15, 2023most recent commit 5 months agonpm kind-lang} Downloads
Popular Software Development Categories
Continuous Integration
Functional Programming
Developer Tools
Generation
Jenkins
Continuous Deployment
Travis
Reverse Engineering
Changelog
Ci Cd
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.