Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

GitHub topics: lambda-calculus

Repositories

ElaraLang/elara

Elara is a purely-functional programming language targetting the JVM

Language: Haskell - Size: 4.19 MB - Last synced: about 3 hours ago - Pushed: about 5 hours ago - Stars: 8 - Forks: 3

radumarg/lambdaQ

lambdaQ - a functional quantum programming language.

Language: Haskell - Size: 3.38 MB - Last synced: about 3 hours ago - Pushed: about 6 hours ago - Stars: 7 - Forks: 0

toadharvard/Lambada

Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies

Language: OCaml - Size: 13.7 KB - Last synced: about 5 hours ago - Pushed: about 6 hours ago - Stars: 15 - Forks: 3

cogtoto/pub

lambda calculus, type systems, interpreters, compilers. OCAML, SCHEME and COQ code

Language: HTML - Size: 224 MB - Last synced: about 5 hours ago - Pushed: about 6 hours ago - Stars: 3 - Forks: 0

Ferdi265/lambda-compiler

A Lambda Calculus to LLVM IR compiler

Language: Python - Size: 214 KB - Last synced: about 8 hours ago - Pushed: about 9 hours ago - Stars: 1 - Forks: 1

HOL-Theorem-Prover/HOL

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.

Language: Standard ML - Size: 110 MB - Last synced: about 4 hours ago - Pushed: about 10 hours ago - Stars: 595 - Forks: 129

quchen/lambda-ski

A lambda and SKI calculus playground

Language: Haskell - Size: 134 KB - Last synced: about 20 hours ago - Pushed: about 1 year ago - Stars: 4 - Forks: 0

abella-prover/abella

An interactive theorem prover based on lambda-tree syntax

Language: OCaml - Size: 4.33 MB - Last synced: 1 day ago - Pushed: 1 day ago - Stars: 87 - Forks: 17

cosmicboots/iPCF

Intensional PCF interpreter

Language: OCaml - Size: 133 KB - Last synced: about 19 hours ago - Pushed: 1 day ago - Stars: 0 - Forks: 0

gustavodiasag/SimPLer

Interpreter for a functional, expression-based programming language

Language: OCaml - Size: 79.1 KB - Last synced: 1 day ago - Pushed: 2 days ago - Stars: 1 - Forks: 0

aartaka/stdlambda

Standard library for Lambda Calculus, finally making LC a practical programming language.

Size: 20.5 KB - Last synced: 2 days ago - Pushed: 2 days ago - Stars: 10 - Forks: 0

HigherOrderCO/Kind

A next-gen functional language

Language: Rust - Size: 34.4 MB - Last synced: 1 day ago - Pushed: 25 days ago - Stars: 3,457 - Forks: 134

writeonly/catculator

Lambda Calculus Calculator and Combinators Calculus Calculator with Portable Scala Cats and other TypeLeves libraries

Language: Scala - Size: 150 KB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 3 - Forks: 0

Educorreia932/FEUP-DISS

⏺️ M.EIC 2023/2024 - 2ⁿᵈ year/ 2ⁿᵈ semester

Language: Haskell - Size: 135 KB - Last synced: 3 days ago - Pushed: 3 days ago - Stars: 0 - Forks: 0

andrew-johnson-4/lambda-mountain

A Compiler in 85K Instructions (3K SLOC)

Language: Assembly - Size: 8.4 MB - Last synced: 9 days ago - Pushed: 10 days ago - Stars: 7 - Forks: 0

ucsd-progsys/elsa

Elsa is a lambda calculus evaluator

Language: Haskell - Size: 86.9 KB - Last synced: 1 day ago - Pushed: 7 months ago - Stars: 181 - Forks: 20

DrearyLisper/lambda

Lambda calculus interpreter

Language: Haskell - Size: 762 KB - Last synced: 6 days ago - Pushed: 6 days ago - Stars: 3 - Forks: 0

jayrabjohns/Dissertation

SPCF: Interpreter Development and Affine Program Transformation Showcase

Language: TeX - Size: 1.18 MB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0

jayrabjohns/dissertation-refactoring-spcf

SPCF: Interpreter Development and Affine Program Transformation Showcase

Language: Haskell - Size: 494 KB - Last synced: 7 days ago - Pushed: 7 days ago - Stars: 0 - Forks: 0

Jobhdez/compiler-web-service

a common lisp web service with two compilers as api endpoints

Language: Common Lisp - Size: 26.1 MB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 6 - Forks: 1

gwr3n/jsdp

A Java Stochastic Dynamic Programming Library

Language: Java - Size: 50.3 MB - Last synced: 7 days ago - Pushed: 8 days ago - Stars: 12 - Forks: 5

datashaman/logic

A monad and combinator library. Experimental.

Language: PHP - Size: 4.55 MB - Last synced: 8 days ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

benji6/church

:church: Church Encoding in JS

Language: JavaScript - Size: 763 KB - Last synced: 8 days ago - Pushed: 8 days ago - Stars: 126 - Forks: 10

tilk/LambdaCert Fork of progval/LambdaCert

Certified LambdaJS semantics and interpreter.

Language: Coq - Size: 4.5 MB - Last synced: 9 days ago - Pushed: over 7 years ago - Stars: 3 - Forks: 0

aliclark/smooth

A programming language based on the untyped lambda calculus.

Language: Scheme - Size: 539 KB - Last synced: 9 days ago - Pushed: over 11 years ago - Stars: 3 - Forks: 0

hkmatsumoto/lambda-calculus-repl

A REPL of untyped λ-calculus

Language: Haskell - Size: 6.84 KB - Last synced: 9 days ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

rawlins/lambda-notebook

Lambda Notebook: Formal Semantics in Jupyter

Language: Python - Size: 2.64 MB - Last synced: 25 days ago - Pushed: 25 days ago - Stars: 23 - Forks: 6

JasonShin/fp-core.rs

A library for functional programming in Rust

Language: Rust - Size: 271 KB - Last synced: 10 days ago - Pushed: almost 2 years ago - Stars: 1,296 - Forks: 63

Code for Professor Gerald Sussman's "Adventures in Advanced Symbolic Programming" class assignments. Course page: https://groups.csail.mit.edu/mac/users/gjs/6.945/ ; Textbook: https://mitpress.mit.edu/books/software-design-flexibility

Language: Scheme - Size: 103 KB - Last synced: 11 days ago - Pushed: almost 7 years ago - Stars: 2 - Forks: 1

kbaird/church-numerals

An Elixir module for Church Encoding of numerals

Language: Elixir - Size: 53.7 KB - Last synced: 12 days ago - Pushed: 12 days ago - Stars: 1 - Forks: 0

satyajitghana/LambdaCalculus

A repository that contains codes to various Lambda Calculus stuff i did when learning LambdaCalculus, mostly contains JavaScript and Python Code i believe

Language: Jupyter Notebook - Size: 15.7 MB - Last synced: 13 days ago - Pushed: over 4 years ago - Stars: 3 - Forks: 1

chrisnevers/lambda-calculus

Implementation of the lambda calculus

Language: OCaml - Size: 56.6 KB - Last synced: 13 days ago - Pushed: over 4 years ago - Stars: 2 - Forks: 1

chrisnevers/ck-machine

Implementation of a CK machine

Language: OCaml - Size: 3.91 KB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

chrisnevers/cek-machine

Implementation of a CEK machine

Language: OCaml - Size: 2.93 KB - Last synced: 13 days ago - Pushed: about 5 years ago - Stars: 3 - Forks: 0

cognate-lang/cognate

A human readable quasi-concatenative programming language

Language: C - Size: 3.84 MB - Last synced: 2 days ago - Pushed: 4 months ago - Stars: 204 - Forks: 9

artemmukhin/LambdaCalculusCoq

Formal proofs of some facts about untyped lambda calculus in Coq

Language: Coq - Size: 14.6 KB - Last synced: 16 days ago - Pushed: almost 6 years ago - Stars: 1 - Forks: 0

marvinborner/bruijn

:abacus: Programming with pure lambda calculus

Language: Haskell - Size: 1.34 MB - Last synced: 26 days ago - Pushed: 27 days ago - Stars: 72 - Forks: 0

lambda-study-group/awesome-functional-studies

A curated list of functional programming resources to study the fp paradigm

Size: 94.7 KB - Last synced: 3 days ago - Pushed: almost 2 years ago - Stars: 174 - Forks: 15

marvinborner/lambda-screen

🎨 Drawing images with pure lambda calculus

Language: JavaScript - Size: 51.8 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 5 - Forks: 0

yazaldefilimone/lambda-normalizer

seeking to understand patterns behind a normalizer for typed lambda calculus with type affinities.

Language: TypeScript - Size: 82 KB - Last synced: 19 days ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

EvanZhouDev/twilight

Twilight is a modern lambda calculus runtime and REPL.

Language: JavaScript - Size: 37.9 MB - Last synced: 19 days ago - Pushed: 3 months ago - Stars: 2 - Forks: 0

kevinvandervlist/lcpi

Lambda Calculus Parser and Interpreter

Language: Scala - Size: 152 KB - Last synced: 20 days ago - Pushed: over 3 years ago - Stars: 2 - Forks: 0

Oregu/calculi-js

Lambda calculus interpreter in your browser

Language: JavaScript - Size: 5.86 KB - Last synced: 21 days ago - Pushed: about 7 years ago - Stars: 1 - Forks: 0

h908714124/lisp-attempt

Language: Java - Size: 397 KB - Last synced: 21 days ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

mroman42/mikrokosmos

(λ) Educational lambda calculus interpreter

Language: Haskell - Size: 3.27 MB - Last synced: 19 days ago - Pushed: about 3 years ago - Stars: 70 - Forks: 7

Ef55/stainless-stlc

System F in Stainless

Language: Scala - Size: 6.87 MB - Last synced: 22 days ago - Pushed: over 1 year ago - Stars: 8 - Forks: 0

codedot/lambda

Macro Lambda Calculus

Language: JavaScript - Size: 518 KB - Last synced: 16 days ago - Pushed: about 5 years ago - Stars: 43 - Forks: 3

jyoo980/haskell-fp

A repository exploring pure functional programming with Haskell

Language: Haskell - Size: 70.3 KB - Last synced: 23 days ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

slovnicki/pLam

An interpreter for learning and exploring pure λ-calculus

Language: Haskell - Size: 1.1 MB - Last synced: 9 days ago - Pushed: about 3 years ago - Stars: 443 - Forks: 17

ygorsimoes/learning-clojure

My journey in the quest to learn Clojure. 🔢

Language: Clojure - Size: 80.1 KB - Last synced: 24 days ago - Pushed: 10 months ago - Stars: 1 - Forks: 0

radeusgd/pDOT-GADT

Formal foundations for GADTs in Scala

Language: Scala - Size: 519 KB - Last synced: 25 days ago - Pushed: about 4 years ago - Stars: 1 - Forks: 0

cicada-lang/clique

My language practices :)

Language: TypeScript - Size: 1.04 MB - Last synced: 26 days ago - Pushed: about 1 month ago - Stars: 26 - Forks: 3

samarthkishor/lambda-clj

An untyped Lambda Calculus implementation in Clojure

Language: Clojure - Size: 13.7 KB - Last synced: 25 days ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

jez/ragel-bison-parser-sandbox

A small parser for the lambda calculus in C++ using Bazel, Ragel, and Bison

Language: C++ - Size: 48.8 KB - Last synced: 25 days ago - Pushed: almost 4 years ago - Stars: 5 - Forks: 1

jdjkelly/church-ocaml

Church encodings written in OCaml

Language: Standard ML - Size: 235 KB - Last synced: 26 days ago - Pushed: over 7 years ago - Stars: 0 - Forks: 1

Pascal-So/lambda-calculus-interpreter

A lambda calculus sandbox in Elm

Language: Elm - Size: 114 KB - Last synced: 26 days ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

sColin16/set-typed-lambda-calculus

A typed lambda calculus with a set-theoretic type system, that serves as the theoretical basis for other languages with set-theoretic type systems

Language: OCaml - Size: 195 KB - Last synced: 26 days ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

yazaldefilimone/lambda-checker

Dependent type checker with substitution for lambda calculus.

Language: Rust - Size: 5.86 KB - Last synced: 27 days ago - Pushed: 28 days ago - Stars: 0 - Forks: 0

cedille/cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

Language: Agda - Size: 19.3 MB - Last synced: 27 days ago - Pushed: 7 months ago - Stars: 356 - Forks: 27

cucapra/lambdalab

interactive λ-calculus for learning

Language: TypeScript - Size: 92.8 KB - Last synced: about 20 hours ago - Pushed: almost 5 years ago - Stars: 34 - Forks: 3

scottmcleodjr/cl-lambdacalc

Define Lisp functions using lambda calculus syntax

Language: Common Lisp - Size: 7.81 KB - Last synced: 29 days ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

Deric-W/lambda_calculus

Python package for the lambda calculus

Language: Python - Size: 131 KB - Last synced: 30 days ago - Pushed: about 1 month ago - Stars: 4 - Forks: 0

Deric-W/lambda_repl

REPL for the lambda calculus

Language: Python - Size: 69.3 KB - Last synced: 30 days ago - Pushed: about 1 month ago - Stars: 1 - Forks: 0

theRealProHacker/lambda

A lambda calculus evaluator in both Haskell and Python

Language: Haskell - Size: 27.3 KB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 2 - Forks: 0

yazaldefilimone/lambda-compiler.ts

Language: TypeScript - Size: 32.2 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

yazaldefilimone/lambda-compiler.rs

Language: Rust - Size: 6.84 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 0

samalws/uwecode

a functional language based entirely on pure lambda calculus

Language: Go - Size: 172 KB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

swissChili/lambda 📦

:sparkles: λ - lambda calc inspired language :computer:

Language: Haskell - Size: 52.7 KB - Last synced: about 1 month ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

Related Keywords

lambda-calculus 598 functional-programming 121 haskell 89 interpreter 73 lambda 67 programming-language 49 javascript 35 compiler 29 parser 27 type-theory 27 lambda-expressions 26 church-encoding 21 repl 21 rust 20 language 18 ocaml 18 combinatory-logic 18 lambda-functions 17 dependent-types 17 type-inference 17 lisp 16 python 16 scala 16 heltc 15 coq 15 type-system 15 java 14 programming-languages 14 lambda-calculus-interpreter 13 c 12 functional 12 agda 12 mathematics 11 typescript 11 hindley-milner 11 beta-reduction 11 scheme 10 system-f 10 lambda-calculus-evaluator 9 combinators 9 racket 9 fsharp 8 computer-science 8 python3 8 formalization 8 y-combinator 8 theorem-proving 8 functional-language 8 type-checker 7 types 7 prolog 7 type-checking 7 purescript 7 semantics 7 category-theory 7 clojure 7 math 7 parser-combinators 6 coq-formalization 6 graph-reduction 6 elixir 6 logic-programming 6 evaluator 6 turing-machine 6 tutorial 6 polymorphism 5 formal-verification 5 sml 5 calculus 5 church-numerals 5 linear-logic 5 menhir 5 proof 5 evaluation 5 church 5 type 5 simulation 5 llvm 5 chemlambda 5 artificial-chemistry 5 de-bruijn-notation 5 lambda-cube 5 education 5 proof-assistant 5 lazy-evaluation 5 lambda-terms 5 monad 5 ski-combinators 4 recursion 4 common-lisp 4 js 4 esolang 4 bachelor-thesis 4 untyped-lambda-calculus 4 programming 4 logic 4 nodejs 4 elm 4 artificial-life 4 de-bruijn 4