VictorTaelin/lambda-calculus external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

VictorTaelin/lambda-calculus

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/VictorTaelin/lambda-calculus)

Close

VictorTaelin / lambda-calculusView on GitHubMore

• External links
• Readme badge

A simple, clean and fast implementation of the λ-calculus on JavaScript.

☆47May 11, 2020Updated 5 years ago

Alternatives and similar repositories for lambda-calculus

Users that are interested in lambda-calculus are comparing it to the libraries listed below

• VictorTaelin / Moonad-web-legacy

  View on GitHub
  A Peer-to-Peer Operating System
  ☆37Mar 17, 2019Updated 7 years ago
• VictorTaelin / calculus-of-constructions

  View on GitHub
  Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.
  ☆117May 13, 2017Updated 8 years ago
• VictorTaelin / Cedille-Core

  View on GitHub
  A minimal proof language.
  ☆213Jan 26, 2019Updated 7 years ago
• VictorTaelin / ultimate-calculus

  View on GitHub
  ☆37Nov 16, 2021Updated 4 years ago
• VictorTaelin / optlam

  View on GitHub
  An optimal function evaluator written in JavaScript.
  ☆139Jul 25, 2017Updated 8 years ago
• VictorTaelin / escoc-libs-legacy

  View on GitHub
  Base Formality libraries
  ☆10Mar 4, 2019Updated 7 years ago
• codedot / lambda

  View on GitHub
  Macro Lambda Calculus
  ☆50Mar 23, 2019Updated 6 years ago
• smorimoto / coq-to-ocaml-to-js

  View on GitHub
  Proof of concept to generate safe and fast JavaScript
  ☆24Aug 7, 2022Updated 3 years ago
• ayberkt / Mini-TT

  View on GitHub
  A tiny implementation of dependent types.
  ☆11Oct 24, 2017Updated 8 years ago
• VictorTaelin / ESCoC

  View on GitHub
  A nano "theorem prover".
  ☆63Feb 15, 2019Updated 7 years ago
• VictorTaelin / Elementary-Affine-Type-Theory-legacy

  View on GitHub
  Minimal, efficient proof language
  ☆15May 28, 2019Updated 6 years ago
• VictorTaelin / Caramel

  View on GitHub
  A modern syntax for the λ-calculus.
  ☆417Jun 28, 2016Updated 9 years ago
• Soonad / Formality-C

  View on GitHub
  An implementation of the Formality language in C
  ☆13Oct 12, 2019Updated 6 years ago
• DestructHub / lelerax-legacy

  View on GitHub
  Telegram Bot that imitates @lerax (@ryukinix) behavior, 'cause he is a legend.
  ☆11Jul 23, 2020Updated 5 years ago
• VictorTaelin / parallel_lambda_computer_tests

  View on GitHub
  learning cuda
  ☆20Jun 27, 2016Updated 9 years ago
• kindelia-archive / LambdaVM

  View on GitHub
  A next-gen, massively parallel, beta-optimal functional runtime.
  ☆10Jan 3, 2022Updated 4 years ago
• gleam-lang / setup-erlang

  View on GitHub
  👷 Erlang/OTP on GitHub Actions
  ☆22Sep 8, 2023Updated 2 years ago
• bodil / purescript-sized-vectors

  View on GitHub
  Idris style sized vectors in PureScript
  ☆18Jan 5, 2021Updated 5 years ago
• jldupont / prolog.js

  View on GitHub
  prolog interpreter in javascript
  ☆82Feb 14, 2017Updated 9 years ago
• VictorTaelin / interaction-calculus-of-constructions

  View on GitHub
  A minimal proof checker.
  ☆80Sep 9, 2024Updated last year
• VictorTaelin / absal-ex

  View on GitHub
  Absal ex
  ☆60Sep 8, 2023Updated 2 years ago
• brismu / klesi

  View on GitHub
  Lojban ologs (categorical databases) using jq
  ☆25Nov 29, 2018Updated 7 years ago
• okdistribute / hypercore-stats-server

  View on GitHub
  send hypercore/hyperdrive stats over server-side events
  ☆10Apr 10, 2018Updated 7 years ago
• Coq-Math-Problems / Problems

  View on GitHub
  ☆16Jun 17, 2017Updated 8 years ago
• melvinzhang / lambda-calculus-game

  View on GitHub
  ☆26Dec 31, 2021Updated 4 years ago
• VictorTaelin / articles

  View on GitHub
  Thoughts and stuff
  ☆72Apr 30, 2020Updated 5 years ago
• Soonad / Formality-Haskell

  View on GitHub
  A Haskell implementation of the Formality language
  ☆18Mar 9, 2020Updated 6 years ago
• CachyOS / docker

  View on GitHub
  CachyOS Docker Images for the x86-64, x86-64-v3
  ☆25Oct 3, 2024Updated last year
• thaterikperson / erie

  View on GitHub
  A statically-typed lisp for the BEAM
  ☆12Aug 28, 2021Updated 4 years ago
• VictorTaelin / Formality

  View on GitHub
  ☆45Mar 3, 2021Updated 5 years ago
• terkelg / eliminate

  View on GitHub
  Delete files and directories without all the bullshit.
  ☆54Mar 24, 2022Updated 3 years ago
• Soonad / Formality-Core

  View on GitHub
  Specification of the Formality proof and programming language
  ☆42Feb 5, 2023Updated 3 years ago
• puffnfresh / bilby.js

  View on GitHub
  Serious functional programming library for JavaScript.
  ☆588Aug 20, 2014Updated 11 years ago
• wjlewis / ramo

  View on GitHub
  miniKanren for JavaScript
  ☆27Jul 18, 2023Updated 2 years ago
• marionebl / cz-conventional-changelog-lint

  View on GitHub
  Deprecated. Use instead: https://git.io/vQ1oK
  ☆11Jul 4, 2017Updated 8 years ago
• staltz / callbag-observe

  View on GitHub
  👜 Callbag listener sink that receives data from any listenable source
  ☆14Feb 6, 2018Updated 8 years ago
• Soonad / FormalityFM

  View on GitHub
  Formality in itself
  ☆20Nov 30, 2020Updated 5 years ago
• groupoid / henk

  View on GitHub
  🧊 Чиста система з всесвітами
  ☆147Updated this week
• vincentriemer / yoga-js

  View on GitHub
  Idiomatic JavaScript API for the Yoga layout engine
  ☆13Jul 11, 2017Updated 8 years ago