Here are
366 public repositories
matching this topic...
Updated
Oct 20, 2019
Haskell
An efficient proof language
Updated
Aug 9, 2020
JavaScript
A library for functional programming in Rust
Updated
Apr 29, 2020
Rust
Canonical sources for HOL4 theorem-proving system. Branch `develop` is where “mainline development” occurs; when `develop` passes our regression tests, `master` is merged forward to catch up.
Updated
Aug 10, 2020
Standard ML
An interpreter for learning and exploring pure λ-calculus
Updated
Jun 30, 2020
Haskell
🔮 Estudos obscuros de programação funcional
Updated
Nov 30, 2019
JavaScript
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Updated
Jul 30, 2020
Agda
A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
Updated
Oct 15, 2019
JavaScript
Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Updated
Jul 12, 2020
Scala
Elsa is a lambda calculus evaluator
Updated
Apr 14, 2020
Haskell
Coq formalizations of functional languages.
Updated
May 25, 2020
JavaScript
Updated
Jul 27, 2020
JavaScript
🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
Updated
Jul 30, 2020
TypeScript
An implementation of the Formality language in JavaScript
Updated
Aug 27, 2019
JavaScript
Updated
Dec 18, 2018
Python
Updated
Nov 5, 2019
JavaScript
An interactive theorem prover based on lambda-tree syntax
Updated
Jul 24, 2020
OCaml
Book: Gentle Introduction to Dependent Types with Idris
The compilation target that functional programmers always wanted.
Updated
Aug 2, 2020
Haskell
A minimalist pure lazy functional programming language
A simple UI for evaluating expressions in the untyped lambda calculus
Updated
Apr 24, 2019
JavaScript
Map lazy functional language constructs to LLVM IR
Updated
Jun 21, 2019
Haskell
An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
Updated
Jun 27, 2020
Haskell
(λ) Educational lambda calculus interpreter
Updated
Jul 22, 2020
Haskell
implementation of Pure Type Systems (PTS) in Rust.
An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
Updated
Oct 7, 2018
JavaScript
Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
Updated
Jul 27, 2019
Haskell
λtext - higher-order file applicator
Updated
May 6, 2020
Haskell
Specification of the Formality proof and programming language
Updated
Jul 5, 2020
JavaScript
Improve this page
Add a description, image, and links to the
lambda-calculus
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
lambda-calculus
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.