The Wayback Machine - http://web.archive.org/web/20220523063325/https://github.com/topics/lambda-calculus

#

lambda-calculus

Here are 484 public repositories matching this topic...

sdiehl / write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

compiler functional-programming book lambda-calculus evaluation type-theory type pdf-book type-checking haskel type-system functional-language hindley-milner type-inference intermediate-representation

Updated Jan 11, 2021
Haskell

Kind

Kindelia / Kind

Open

THEOREMS.md reference `kind` executable

3

dvberkel commented Aug 12, 2021

Describe the bug

When installing the Kind toolchain the kind-scm command is installed. When I read [THEOREMS.md][theorems] the command is named kind.

To Reproduce

Steps to reproduce the behavior:

Following installation instructions for Ubuntu
Read [THEOREMS.md][theorems]

Expected behavior

I would expect

Read more

good first issue review docs

JasonShin / fp-core.rs

A library for functional programming in Rust

rust functional-programming lambda-calculus monad functor category-theory monoid hkt applicative homomorphism comonad morphism

Updated Aug 31, 2020
Rust

HOL-Theorem-Prover / HOL

Open

Implement error, info, and warning functions for Holmake

mn200 commented Aug 2, 2018

As per the GNU make specification if possible.

Read more

Build/Holmake Feature Request Good first issue

Open

Regular expression search for theorem

Open

Install monad syntax by default

niltok / magic-in-ten-mins

十分钟魔法练习

java tutorial functional-programming lambda-calculus monad hkt adt formal-verification formal-proofs

Updated Mar 30, 2022
HTML

slovnicki / pLam

An interpreter for learning and exploring pure λ-calculus

language programming-language lambda interpreter functional-programming lambda-calculus church church-encoding logic-programming numeral-systems computability-theory computability

Updated Apr 11, 2021
Haskell

glebec / lambda-talk

A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS

javascript functional-programming lambda-calculus composition mathematics combinatory-logic currying theory-of-computation combinators church-encodings

Updated Jan 17, 2021
JavaScript

cedille / cedille

Open

Allow import M as _

astump commented Jan 15, 2020

It would be a nice convenience to allow the syntax

import M as _.

This would have the effect of checking module M but not adding any of its names to the context of the importing file. The use case for this is if you want to have a single Cedille source file that includes a bunch of other files, without having to worry about namespace clashes. This would be handy for testing. One can achie

Read more

good first issue

Open

cleanup the Makefile for the parser

Open

Options (from options file) should take effect in order

pagarme / lambda

🔮 Estudos obscuros de programação funcional

javascript php functional-programming lambda-calculus ramda ramdajs

Updated Nov 30, 2019
JavaScript

Chymyst / curryhoward

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

scala functional-programming lambda-calculus scala-macros code-generation automated-theorem-provers theorem-prover intuitionistic-logic curry-howard-isomorphism lambda-terms

Updated Nov 6, 2021
Scala

ucsd-progsys / elsa

Elsa is a lambda calculus evaluator

haskell lambda-calculus reduction haskell-learning

Updated Apr 10, 2022
Haskell

lambda-study-group / awesome-functional-studies

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

lambda-calculus programming-languages hacktoberfest

Updated Apr 6, 2022

Y-Combinator-for-Non-programmers

chibicode / Y-Combinator-for-Non-programmers

🍱 Y Combinator for Non-programmers: A Wild Introduction to Computer Science

react typescript functional-programming reactjs lambda-calculus y-combinator

Updated May 22, 2022
TypeScript

discus-lang / iron

Coq formalizations of functional languages.

lambda-calculus coq proof theory coq-formalizations

Updated Jul 2, 2020
Coq

benji6 / combinators-js

🐦 Some combinators

haskell functional-programming lambda-calculus combinator combinatory-logic

Updated May 1, 2022
JavaScript

chorasimilarity / chemlambda-gui

Life like molecular computers with artificial chemistry.

simulation lambda-calculus molecular-graphics artificial-life artificial-chemistry chemlambda

Updated Nov 26, 2021
HTML

benji6 / church

⛪ Church Encoding in JS

haskell functional-programming lambda-calculus combinatory-logic church-encoding

Updated May 2, 2022
JavaScript

lazear / types-and-programming-languages

Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!

types lambda-calculus type-theory programming-languages tapl types-and-programming-languages

Updated Jul 26, 2020
Rust

cognate

cognate-lang / cognate

A human readable quasi-concatenative programming language

c language programming-language interpreter compiler functional-programming natural-language lambda-calculus forth combinatorics closures prefix-notation stack-language forth-like stack-based-language based-stack-based-language proglangs-discord

Updated May 21, 2022
C

abella-prover / abella

An interactive theorem prover based on lambda-tree syntax

ocaml lambda-calculus meta-theory interactive-theorem-proving

Updated May 3, 2022
OCaml

sjsyrek / malc

Make a lambda calculus.

javascript ruby python haskell elixir functional-programming lambda-functions lambda-calculus perl6 lambda-expressions

Updated Nov 1, 2020
Python

Formality-JavaScript

moonad-archive / Formality-JavaScript

An implementation of the Formality language in JavaScript

javascript lambda-calculus interaction-nets inets formality moonad

Updated Aug 27, 2019
JavaScript

zehaochen19 / vanilla-lang

An implementation of a predicative polymorphic language with bidirectional type inference and algebraic data types

programming-language lambda-calculus polymorphism type-inference system-f higher-rank-types

Updated Dec 1, 2020
Haskell

bor0 / gidti

Book: Gentle Introduction to Dependent Types with Idris

dependent-types books types lambda-calculus theorem-proving type-theory idris

Updated Jan 3, 2022

gtramontina / lambda

Fun with λ calculus!

javascript lambda functional es6 functional-programming lambda-calculus es6-javascript

Updated Aug 1, 2021
JavaScript

clark800 / lambda-zero

A minimalist pure lazy functional programming language

c programming-language haskell functional functional-programming lambda-calculus minimalist lazy-evaluation krivine-machine

Updated Sep 6, 2021
C

discus-lang / salt

The compilation target that functional programmers always wanted.

language functional compiler lambda-calculus target low-level compilation

Updated Aug 2, 2020
Haskell

polux / lambda-diagrams

Animations of lambda term reduction sequences

lambda-calculus

Updated May 30, 2018
Haskell

ljedrz / lambda_calculus

A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust

rust lambda-functions lambda-calculus combinatory-logic church-encoding lambda-expressions lambda-interpreter rust-library debruijn ski-combinators beta-reduction reduction-strategies parigot-encoding scott-encoding embedded-iterators-encoding stump-fu-encoding

Updated Feb 18, 2022
Rust

mroman42 / mikrokosmos

(λ) Educational lambda calculus interpreter

haskell interpreter lambda-calculus

Updated Mar 12, 2021
Haskell

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."