Alternatives and similar repositories for Lambda-Calculus

Users that are interested in Lambda-Calculus are comparing it to the libraries listed below

• thautwarm / LLAST

  View on GitHub
  A high level LLVM IR AST provider for GraphEngine JIT.
  ☆22Sep 9, 2018Updated 7 years ago
• thautwarm / flowpython

  View on GitHub
  tasty feature extensions for python3(NO MAINTENANCE!).
  ☆62Jul 7, 2019Updated 6 years ago
• chenyukang / eopl

  View on GitHub
  my solutions to EOPL3
  ☆367Nov 6, 2018Updated 7 years ago
• winterland1989 / magic-haskell

  View on GitHub
  魔力haskell官方网站
  ☆297May 15, 2019Updated 6 years ago
• huangzworks / real-world-haskell-cn

  View on GitHub
  《Real World Haskell》中文翻译项目
  ☆1,577Feb 14, 2022Updated 4 years ago
• songjinghe / TYS-zh-translation

  View on GitHub
  A Chinese translation of "teach-yourself-scheme-in-fixnum-days"
  ☆185Aug 1, 2020Updated 5 years ago
• Coq-zh / SF-zh

  View on GitHub
  《软件基础》中译版 Software Foundations Chinese Translation
  ☆963Mar 14, 2022Updated 3 years ago
• MichaelSuen-thePointer / mqLinq

  View on GitHub
  yet another linq implementation in C++
  ☆10Jul 22, 2016Updated 9 years ago
• cisco / ChezScheme

  View on GitHub
  Chez Scheme
  ☆7,256Updated this week
• ThoughtWorksInc / DeepDarkFantasy

  View on GitHub
  A Programming Language for Deep Learning
  ☆462May 10, 2018Updated 7 years ago
• tiancaiamao / yscheme

  View on GitHub
  a compiler from a subset of Scheme into X64
  ☆240Jul 29, 2019Updated 6 years ago
• thautwarm / DIO.jl

  View on GitHub
  Julia implementation for Python Restrain JIT
  ☆22Mar 3, 2021Updated 4 years ago
• Cm-lang / Cmc

  View on GitHub
  the compiler for the Cm programming language
  ☆31Dec 13, 2017Updated 8 years ago
• ninegua / lambda-viewer

  View on GitHub
  Learn You a Lambda, a Haskell Tutorial
  ☆47Dec 17, 2016Updated 9 years ago
• geisha-lang / Geisha

  View on GitHub
  A naive θ..θ programming language
  ☆27Oct 23, 2018Updated 7 years ago
• neutronest / vortex

  View on GitHub
  a Haskell implementation of Deep Learning frameworks.
  ☆12Mar 29, 2016Updated 9 years ago
• ice1000 / Books

  View on GitHub
  My slides and notes
  ☆140May 31, 2023Updated 2 years ago
• ProofSystem / Encyclopedia

  View on GitHub
  An Open Encyclopedia of Proof Systems
  ☆120Jul 4, 2022Updated 3 years ago
• DeathKing / Learning-SICP

  View on GitHub
  MIT视频公开课《计算机程序的构造和解释》中文化项目及课程学习资料搜集。
  ☆11,261Sep 27, 2023Updated 2 years ago
• fare / moll

  View on GitHub
  My Own Linear Lisp
  ☆42Aug 24, 2018Updated 7 years ago
• joshuaeckroth / cadr

  View on GitHub
  CADR Lisp Machine simulator
  ☆24Oct 2, 2016Updated 9 years ago
• squest / zenx-integrated-learning

  View on GitHub
  Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell
  ☆19Oct 16, 2015Updated 10 years ago
• wh5a / Algorithm-W-Step-By-Step

  View on GitHub
  Classic Algorithm W for type inference.
  ☆256Mar 29, 2010Updated 15 years ago
• tianyicui / golio

  View on GitHub
  Go! Lisp in OCaml
  ☆75Oct 5, 2012Updated 13 years ago
• thautwarm / idris-python

  View on GitHub
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Apr 26, 2019Updated 6 years ago
• lfkdsk / CodeParse

  View on GitHub
  编译相关的Parser
  ☆24Oct 14, 2016Updated 9 years ago
• lice-lang / lice

  View on GitHub
  A multi-paradigm programming language running on JVM
  ☆129May 11, 2018Updated 7 years ago
• jiacai2050 / sicp

  View on GitHub
  📖 SICP 读书笔记，习题解答
  ☆1,240Jan 3, 2020Updated 6 years ago
• chris-taylor / SICP-in-Haskell

  View on GitHub
  ☆49Jan 6, 2013Updated 13 years ago
• HaskellGroup / community

  View on GitHub
  Haskell Group Community >>= Haskell 中文社区。
  ☆16Mar 19, 2021Updated 4 years ago
• acl-translation / acl-chinese

  View on GitHub
  ANSI Common Lisp 中文翻译版
  ☆689Mar 11, 2021Updated 4 years ago
• ultimate-lambda / book-reviews

  View on GitHub
  ☆147May 7, 2016Updated 9 years ago
• mwand / eopl3

  View on GitHub
  Code from the book "Essentials of Programming Languages", 3rd ed. by Friedman and Wand
  ☆1,206Mar 13, 2023Updated 2 years ago
• haskell-suite / haskell-tc

  View on GitHub
  Haskell typechecker
  ☆39May 7, 2019Updated 6 years ago
• vseloved / cl-parsec

  View on GitHub
  Parser combinators in Common Lisp
  ☆23Mar 24, 2010Updated 15 years ago
• ice1000 / learn

  View on GitHub
  codes written while learning them.
  ☆47Mar 20, 2020Updated 5 years ago
• steshaw / plt

  View on GitHub
  Programming Language Theory λΠ
  ☆5,328Dec 2, 2024Updated last year
• thautwarm / idris-cam

  View on GitHub
  Sucessor: https://github.com/thautwarm/Quick-Backend
  ☆24Feb 6, 2020Updated 6 years ago
• Trebor-Huang / history

  View on GitHub
  History of type theory (Chinese).
  ☆360May 25, 2025Updated 8 months ago