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

• sunnycase / TomatoOS

  View on GitHub
  一个C++实现的简单操作系统
  ☆17Jul 26, 2015Updated 10 years ago
• TerrorJack / erumpo

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

  View on GitHub
  ☆19Oct 13, 2015Updated 10 years ago
• MarisaKirisame / reflection

  View on GitHub
  ☆18Mar 14, 2016Updated 10 years ago
• xuzhuoyi / LDE

  View on GitHub
  龙芯桌面环境 Loongson Desktop Environment
  ☆25Oct 6, 2016Updated 9 years ago
• splinterofchaos / Pure

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

  View on GitHub
  ☆25Dec 13, 2016Updated 9 years ago
• dotnetGame / Moesocks

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

  View on GitHub
  a maze game.
  ☆29Jul 31, 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
• mutouyun / cpp-pattern-matching

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

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

  View on GitHub
  Code for my blog
  ☆11Feb 26, 2017Updated 9 years ago
• fanyang89 / PatternMatchingExtension

  View on GitHub
  A pattern matching extension for C#6
  ☆12May 20, 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
• SuperSodaSea / Corecat

  View on GitHub
  Corecat: Core library
  ☆21Jun 29, 2018Updated 7 years ago
• SlimeNull / Nua

  View on GitHub
  A simple scripting language similar to Lua. 一个类似于 Lua 的简单脚本语言.
  ☆12Feb 9, 2024Updated 2 years ago
• potswa / cxx_function

  View on GitHub
  Prototype for new std::function features, compatible with C++11.
  ☆47Apr 27, 2020Updated 5 years ago
• berke / jsure

  View on GitHub
  JSure is a fast, standalone Javascript checker.
  ☆37Jan 15, 2018Updated 8 years ago
• be5invis / PatEL

  View on GitHub
  The Patrisika Example Language
  ☆51Nov 23, 2024Updated last year
• iebb / SIFStatic

  View on GitHub
  SIFStatic
  ☆11Feb 15, 2021Updated 5 years ago
• Kingsford-Group / mince

  View on GitHub
  ☆18Apr 10, 2015Updated 10 years ago
• nobutaka / nanopass

  View on GitHub
  Nanopass scheme compiler in scheme for x86
  ☆68Feb 2, 2017Updated 9 years ago
• sunnycase / Tomato.Media

  View on GitHub
  Tomato Media Library
  ☆28Dec 30, 2016Updated 9 years ago
• kenvix / Baidu-BDUSS-Tool

  View on GitHub
  提供界面非常友好的百度账号BDUSS获取器[C# .Net 4.0]
  ☆21Oct 31, 2015Updated 10 years ago
• ice1000 / AIAndroid

  View on GitHub
  An Android UI framework for chatting APPs.
  ☆17May 10, 2016Updated 9 years ago
• Cm-lang / Cmc

  View on GitHub
  the compiler for the Cm programming language
  ☆31Dec 13, 2017Updated 8 years ago
• ax-design / acrylic

  View on GitHub
  Web component that implement Acrylic texture of Axiom Design System.
  ☆14Jan 7, 2023Updated 3 years ago
• logicworldzju / X86Emulator

  View on GitHub
  Another x86 emulator which likes bochs. But it is much weaker in the functionality. As it is a course project,now we only want to emulat…
  ☆18Jan 5, 2014Updated 12 years ago
• tailhook / rust-quire

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

  View on GitHub
  This repo keeps track of my codes, answers and thinkings when exploring books.
  ☆31Mar 16, 2024Updated 2 years ago
• AnwarMohamed / WinLSP

  View on GitHub
  ☆19Jun 4, 2013Updated 12 years ago
• akemimadoka / NatsuLib

  View on GitHub
  [DEPRECATED] Use https://github.com/akemimadoka/Cafe instead
  ☆37Nov 18, 2018Updated 7 years ago
• cosven / db-testing

  View on GitHub
  scripts for testing TiDB
  ☆10Feb 4, 2026Updated last month
• aaronlevin / free-http

  View on GitHub
  An HTTP Client in Haskell Based on Free Monads
  ☆10Dec 31, 2015Updated 10 years ago
• BDFFZI / BDXKEngine

  View on GitHub
  ☆21Oct 18, 2024Updated last year
• jevakallio / cycle-react-native-example

  View on GitHub
  Sample application for using Cycle.js with React Native (CycleConf 2016)
  ☆10Apr 28, 2016Updated 9 years ago
• justjoheinz / idris-httpclient

  View on GitHub
  A http client for Idris based on libcurl
  ☆10Mar 18, 2016Updated 10 years ago