MarisaKirisame/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

MarisaKirisame/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/MarisaKirisame/lambda_calculus)

Close

MarisaKirisame / lambda_calculusView on GitHubMore

• External links
• Readme badge

☆14Oct 30, 2015Updated 10 years ago

Alternatives and similar repositories for lambda_calculus

Users that are interested in lambda_calculus are comparing it to the libraries listed below

• Alpacius / servcraft

  View on GitHub
  A collection of tools that make a server, which keep crashing.
  ☆12Jul 3, 2017Updated 8 years ago
• MarisaKirisame / algebraic_data_type

  View on GitHub
  ☆19Oct 13, 2015Updated 10 years ago
• TerrorJack / erumpo

  View on GitHub
  Just a prototype, but will be improved soon.
  ☆22Jan 9, 2015Updated 11 years ago
• fanyang89 / PatternMatchingExtension

  View on GitHub
  A pattern matching extension for C#6
  ☆12May 20, 2016Updated 9 years ago
• MislankaNova / geo

  View on GitHub
  Procedural terrain generator.
  ☆10Jan 28, 2018Updated 8 years ago
• AntiMoron / aMazing

  View on GitHub
  a maze game.
  ☆29Jul 31, 2015Updated 10 years ago
• be5invis / your-type

  View on GitHub
  ☆25Dec 13, 2016Updated 9 years ago
• fanyang89 / ToysFactory

  View on GitHub
  http://zhuanlan.zhihu.com/toys-factory
  ☆12Feb 21, 2018Updated 8 years ago
• MarisaKirisame / CompilingCombinator

  View on GitHub
  Code for my blog
  ☆11Feb 26, 2017Updated 9 years ago
• mutouyun / cpp-pattern-matching

  View on GitHub
  ML-style pattern matching in C++.
  ☆29Dec 28, 2018Updated 7 years ago
• dotnetGame / Moesocks

  View on GitHub
  A Proxy Server Written in C#
  ☆23Dec 8, 2022Updated 3 years ago
• splinterofchaos / Pure

  View on GitHub
  An almost-pure C++ library for writing functional code.
  ☆37Oct 9, 2014Updated 11 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 9 years ago
• nkly / toydb

  View on GitHub
  Dead simple SQL database written in Haskell for solely educational purposes
  ☆15Nov 2, 2015Updated 10 years ago
• HaskellZhangSong / Introduction_to_Haskell

  View on GitHub
  This is source code of my book.
  ☆67Sep 26, 2016Updated 9 years ago
• MarisaKirisame / first_order_logic_prover

  View on GitHub
  ☆60Feb 27, 2018Updated 8 years ago
• SuperSodaSea / Corecat

  View on GitHub
  Corecat: Core library
  ☆21Jun 29, 2018Updated 7 years ago
• 9chu / DirtyWordChecker

  View on GitHub
  基于字典树的简单脏词匹配替换类 A trie-tree-based dirty word checker for c++.
  ☆26Nov 16, 2015Updated 10 years ago
• sunnycase / Tomato.Media

  View on GitHub
  Tomato Media Library
  ☆28Dec 30, 2016Updated 9 years ago
• Cm-lang / Cmc

  View on GitHub
  the compiler for the Cm programming language
  ☆31Dec 13, 2017Updated 8 years ago
• Cheukyin / TemplatedPL

  View on GitHub
  A Lisp Interpreter Written in C++ Template
  ☆73Dec 11, 2020Updated 5 years ago
• fare / moll

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

  View on GitHub
  Unity仿RPGMaker恐解游戏试作
  ☆11Sep 4, 2019Updated 6 years ago
• UniMath / 2006_03_Homotopy_lambda_calculus

  View on GitHub
  Voevodsky's 2006 paper on homotopy lambda calculus
  ☆15Jan 11, 2015Updated 11 years ago
• ldionne / wg21

  View on GitHub
  My proposals for the C++ standard
  ☆12Nov 10, 2025Updated 3 months ago
• badair / polyvar

  View on GitHub
  polymorphism with value semantics (based on std::variant)
  ☆12Sep 7, 2016Updated 9 years ago
• aaronlevin / free-http

  View on GitHub
  An HTTP Client in Haskell Based on Free Monads
  ☆10Dec 31, 2015Updated 10 years ago
• 12k-Tech-Group / 12k-Posts

  View on GitHub
  https://12k.tech
  ☆12Sep 6, 2020Updated 5 years ago
• zurl / tparser

  View on GitHub
  parser that scales -- parser generator in TypeScript
  ☆16Feb 25, 2017Updated 9 years ago
• dymx101 / iOS-Game-By-Tutorial-Source-Code

  View on GitHub
  iOS Game By Tutorial Source Code, downloaded from http://www.raywenderlich.com/store/ios-games-by-tutorials/source-code
  ☆11Jul 14, 2014Updated 11 years ago
• starwander / emap

  View on GitHub
  Enhanced Golang Map: support one unique key and multi search indices for each value
  ☆11Dec 25, 2016Updated 9 years ago
• Kalimehtar / gls

  View on GitHub
  Generic Little System
  ☆17May 5, 2024Updated last year
• tioover / ika

  View on GitHub
  Lisp interpreter
  ☆10Jan 8, 2015Updated 11 years ago
• justjoheinz / idris-httpclient

  View on GitHub
  A http client for Idris based on libcurl
  ☆10Mar 18, 2016Updated 9 years ago
• pppoe / LayoutImageInText

  View on GitHub
  A simple project demo the ability of CoreText API in a image-text mixture layout
  ☆14Oct 6, 2011Updated 14 years ago
• validvoid / RuntimeThemeSwitchingDemo

  View on GitHub
  A demo of runtime theme switching with fake VS for Mac UI.
  ☆11Nov 27, 2016Updated 9 years ago
• tailhook / rust-quire

  View on GitHub
  A YAML-based configuration library for Rust
  ☆13Aug 6, 2019Updated 6 years ago
• rizumita / Selm

  View on GitHub
  Selm is the framework to realize Elm architecture in Swift
  ☆12Jan 7, 2020Updated 6 years ago
• oreillymedia / Getting-Started-with-Atlas

  View on GitHub
  A guide to using Atlas, O'Reilly's wiki-like, git-managed authoring platform.
  ☆18Aug 9, 2013Updated 12 years ago