Topic: lambda-calculus Goto Github

👇 Here are 588 public repositories matching this topic...

abella-prover / abella
lambda-calculus,An interactive theorem prover based on lambda-tree syntax
Organization: abella-prover
Home Page: https://abella-prover.org/
lambda-calculus meta-theory interactive-theorem-proving

andgate / type-theory-compiler
lambda-calculus,Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficient LLVM IR.
User: andgate
compiler languages lambda-calculus type-system functional-programming functional-language

andrew-johnson-4 / lsts
lambda-calculus,Large Scale Type Systems (programming language)
User: andrew-johnson-4
Home Page: https://andrew-johnson-4.github.io/lsts-tutorial/
ast type-checking theorem-prover rust category-theory error-reporting lexer lint parser lambda-calculus

andyshiue / pts
lambda-calculus,implementation of Pure Type Systems (PTS) in Rust.
User: andyshiue
lambda-calculus rust

asperti / bohm1.1
lambda-calculus,Bologna Optimal Higher-Order Machine, Version 1.1
User: asperti
lambda higher-order-functions compilers graph-reduction functional-programming lambda-expressions lambda-calculus

benji6 / church
lambda-calculus,:church: Church Encoding in JS
User: benji6
Home Page: http://benji6.github.io/church/docs
functional-programming lambda-calculus church-encoding combinatory-logic haskell

benji6 / combinators-js
lambda-calculus,:bird: Some combinators
User: benji6
combinator functional-programming lambda-calculus combinatory-logic haskell

bor0 / gidti
lambda-calculus,Book: Introduction to Dependent Types with Idris
User: bor0
Home Page: https://leanpub.com/gidti
books dependent-types idris types type-theory theorem-proving lambda-calculus

cdparks / lambda-machine
lambda-calculus,A simple UI for evaluating expressions in the untyped lambda calculus
User: cdparks
lambda-calculus purescript react

cedille / cedille
lambda-calculus,Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Organization: cedille
Home Page: https://cedille.github.io/
dependent-types programming-language lambda-calculus dependent-intersections

chibicode / y-combinator-for-non-programmers
lambda-calculus,🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science
User: chibicode
Home Page: https://ycombinator.chibicode.com
y-combinator lambda-calculus typescript reactjs react functional-programming

chorasimilarity / chemlambda-gui
lambda-calculus,Life like molecular computers with artificial chemistry.
User: chorasimilarity
Home Page: https://chemlambda.github.io/index.html
chemlambda artificial-life artificial-chemistry lambda-calculus simulation molecular-graphics

chymyst / curryhoward
lambda-calculus,Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
Organization: chymyst
curry-howard-isomorphism intuitionistic-logic theorem-prover scala functional-programming code-generation scala-macros lambda-terms lambda-calculus automated-theorem-provers

clark800 / lambda-zero
lambda-calculus,minimalist pure lazy functional programming language (pythonic haskell)
User: clark800
functional-programming programming-language haskell functional minimalist lazy-evaluation krivine-machine lambda-calculus c pythonic

codedot / lambda
lambda-calculus,Macro Lambda Calculus
User: codedot
Home Page: https://www.npmjs.com/package/@alexo/lambda
lambda-calculus interaction-nets

cognate-lang / cognate
lambda-calculus,A human readable quasi-concatenative programming language
Organization: cognate-lang
programming-language functional-programming stack-language natural-language closures compiler forth prefix-notation language interpreter

discus-lang / iron
lambda-calculus,Coq formalizations of functional languages.
Organization: discus-lang
Home Page: iron.ouroborus.net
coq lambda-calculus theory proof coq-formalizations

discus-lang / salt
lambda-calculus,The compilation target that functional programmers always wanted.
Organization: discus-lang
language functional low-level compiler compilation target lambda-calculus

glebec / lambda-talk
lambda-calculus,A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS
User: glebec
Home Page: https://glebec.github.io/lambda-talk
lambda-calculus church-encodings composition functional-programming mathematics theory-of-computation javascript combinatory-logic combinators currying

gtramontina / lambda
lambda-calculus,Fun with λ calculus!
User: gtramontina
lambda-calculus javascript es6-javascript es6 lambda functional-programming functional

higherorderco / kind
lambda-calculus,A next-gen functional language
Organization: higherorderco
Home Page: https://kindelia.org/
formality lambda-calculus type-theory proof-language functional-programming dependent-types moonad proof-languages theorem-prover

hol-theorem-prover / hol
lambda-calculus,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.
Organization: hol-theorem-prover
Home Page: https://hol-theorem-prover.org
theorem-proving lambda-calculus higher-order-logic

jasonshin / fp-core.rs
lambda-calculus,A library for functional programming in Rust
User: jasonshin
functional-programming rust monad functor applicative category-theory lambda-calculus monoid hkt homomorphism

jfaure / lfvm-stg
lambda-calculus,Map lazy functional language constructs to LLVM IR
User: jfaure
programming-language concurrent-programming statically-typed compiler lambda-calculus pi-calculus llvm

lambda-study-group / awesome-functional-studies
lambda-calculus,A curated list of functional programming resources to study the fp paradigm
Organization: lambda-study-group
hacktoberfest programming-languages lambda-calculus

lazear / types-and-programming-languages
lambda-calculus,Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!
User: lazear
types-and-programming-languages tapl types type-theory programming-languages lambda-calculus

ljedrz / lambda_calculus
lambda-calculus,A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
User: ljedrz
lambda-calculus rust-library church-encoding rust lambda-expressions lambda-functions lambda-interpreter beta-reduction ski-combinators reduction-strategies

marvinborner / birb
lambda-calculus,:bird: *cheep cheep shriek caw*
User: marvinborner
Home Page: https://news.ycombinator.com/item?id=37478347
combinatory-logic esolang lambda-calculus programming-language ski-combinators birds functional-programming

marvinborner / bruijn
lambda-calculus,:abacus: Programming with pure lambda calculus
User: marvinborner
Home Page: https://bruijn.marvinborner.de
balanced-ternary de-bruijn lambda-calculus programming-language abstract-machine call-by-need church-encoding combinatory-logic

moonad-archive / formality-javascript
lambda-calculus,An implementation of the Formality language in JavaScript
Organization: moonad-archive
moonad formality interaction-nets inets lambda-calculus javascript

mroman42 / mikrokosmos
lambda-calculus,(λ) Educational lambda calculus interpreter
User: mroman42
Home Page: https://mroman42.github.io/mikrokosmos
lambda-calculus interpreter haskell

ngzhian / ski
lambda-calculus,SKI combinators
User: ngzhian
ski-combinator-calculus lambda-calculus ski-expression

niltok / magic-in-ten-mins
lambda-calculus,十分钟魔法练习
User: niltok
Home Page: https://magic.huohuo.moe
adt java monad lambda-calculus functional-programming hkt tutorial formal-verification formal-proofs

orsinium-labs / python-lambda-calculus
lambda-calculus,Lambda Calculus things implemented on Python
Organization: orsinium-labs
lambda lambda-calculus python ycombinator combinator functional-programming

orsinium-labs / rlci
lambda-calculus,🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.
Organization: orsinium-labs
fp functional-programming interpreter lambda lambda-calculus programming-language rust

pagarme / lambda
lambda-calculus,🔮 Estudos obscuros de programação funcional
Organization: pagarme
lambda-calculus functional-programming ramda ramdajs javascript php

polux / lambda-diagrams
lambda-calculus,Animations of lambda term reduction sequences
User: polux
lambda-calculus

sdiehl / write-you-a-haskell
lambda-calculus,Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
User: sdiehl
haskel compiler book evaluation lambda-calculus type type-checking type-system pdf-book functional-programming

sgillespie / lambda-calculus
lambda-calculus,An introduction to the Lambda Calculus
User: sgillespie
lambda-calculus system-f

sjsyrek / malc
lambda-calculus,Make a lambda calculus.
User: sjsyrek
lambda-calculus lambda-functions lambda-expressions functional-programming haskell javascript python perl6 ruby elixir

slovnicki / plam
lambda-calculus,An interpreter for learning and exploring pure λ-calculus
User: slovnicki
lambda-calculus programming-language computability-theory numeral-systems logic-programming church church-encoding interpreter language lambda

steshaw / lennart-lambda
lambda-calculus,λλλλ Lennart Augustsson's λ-calculus cooked four ways
User: steshaw
lambda-calculus programming-languages

tarao / lambdajs
lambda-calculus,An interpreter of Lambda calculus written in JavaScript and working with JavaScript syntax.
User: tarao
Home Page: https://tarao.github.io/LambdaJS
javascript tutorial lambda-calculus evaluator

techcentaur / krivine-machine
lambda-calculus,Abstract krivine machine implementing call-by-name semantics. In OCaml.
User: techcentaur
Home Page: https://ankit-solanki.com/krivine-abstract-machine/
abstract-machine krivine-machine secd ocaml programming-language lambda-calculus

ucsd-progsys / elsa
lambda-calculus,Elsa is a lambda calculus evaluator
Organization: ucsd-progsys
lambda-calculus reduction haskell-learning haskell

whatisrt / meta-cedille
lambda-calculus,Minimalistic dependent type theory with syntactic metaprogramming
User: whatisrt
dependent-types metaprogramming cedille lambda-calculus

woodrush / lambda-8cc
lambda-calculus,x86 C compiler written in untyped lambda calculus
User: woodrush
c c-compiler lambda-calculus ski-combinator-calculus compiler

woodrush / lambdalisp
lambda-calculus,A Lisp interpreter written in untyped lambda calculus
User: woodrush
lambda-calculus lisp-interpreter lisp interpreter repl

zehaochen19 / vanilla-lang
lambda-calculus,An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types
User: zehaochen19
system-f type-inference polymorphism programming-language higher-rank-types lambda-calculus

zionlang / zion
lambda-calculus,A statically-typed strictly-evaluated garbage-collected readable programming language.
Organization: zionlang
Home Page: https://zionlang.org/
zion programming-language compiler hindley-milner system-f typeclass static-typing garbage-collect lambda-calculus llvm