Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 23 Types Lambda Calculus Open Source Projects

Open source projects categorized as Types Lambda Calculus
Categories > Mathematics > Lambda Calculus
Write You A Haskell ⭐ 2,744
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
most recent commit 5 years ago
Curryhoward ⭐ 232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
total releases 15most recent commit 3 years ago
Glambda ⭐ 168
The home of the Glamorous Glambda interpreter
total releases 3most recent commit 5 years ago
Path ⭐ 79
A lambda calculus to explore type-directed program synthesis.
most recent commit 4 years ago
Salt ⭐ 55
The compilation target that functional programmers always wanted.
most recent commit 4 years ago
Pts ⭐ 41
implementation of Pure Type Systems (PTS) in Rust.
most recent commit 7 years ago
Zion ⭐ 39
A statically-typed strictly-evaluated garbage-collected readable programming language.
most recent commit a year 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
Lambda Scala ⭐ 32
Type level lambda calculus in Scala
most recent commit 9 years ago
Types And Programming Languages ⭐ 27
Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
most recent commit 4 years ago
Purescript Type Lang ⭐ 19
Lambda calculus at the type level.
most recent commit 7 years ago
Algorithmw Rust ⭐ 17
A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
most recent commit 8 years ago
Universe Of Syntax ⭐ 14
A universe of scope- and type-safe syntaxes (syntices?). Includes generic implementation of type-preserving renaming/substitution with all the proofs you could possibly need.
most recent commit 6 years ago
Tapl ⭐ 10
Types and Programming Languages (TAPL)
most recent commit 3 years ago
Funq ⭐ 10
Functional Quantum Programming
most recent commit 3 years ago
Elara ⭐ 9
Elara is a purely-functional programming language targetting the JVM
most recent commit 3 months ago
Lambdalab ⭐ 8
interactive λ-calculus for learning
most recent commit 5 years ago
Glam ⭐ 8
The guarded λ-calculus
most recent commit 7 months ago
Elm Stlc ⭐ 7
Bidirectional type checker for the simply typed lambda calculus
most recent commit 4 years ago
Haskell Holes Th ⭐ 7
TIP solver for simply typed lambda calculus. Can automatically infer code from type definitions. (TemplateHaskell)
total releases 2most recent commit 5 years ago
Nbe A Tutorial ⭐ 6
Checking Dependent Types with Normalization by Evaluation
most recent commit 6 years ago
Systemt ⭐ 6
👨‍💻 Implementing System T in Haskell 👨‍💻
most recent commit 2 years ago
Lambdacalculusinterpreters ⭐ 6
Two interpreters for the lambda calculus: one simple and one with typing of ints, bools, and pairs.
most recent commit 7 years ago
The 3 Latest Releases In Types Lambda Calculus Open Source Projects
Curryhoward ⭐ 232
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
total releases 15latest release August 23, 2021most recent commit 3 years ago
Glambda ⭐ 168
The home of the Glamorous Glambda interpreter
total releases 3latest release November 27, 2017most recent commit 5 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
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.