☆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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 一个C++实现的简单操作系统☆17Jul 26, 2015Updated 11 years ago
- Just a prototype, but will be improved soon.☆22Jan 9, 2015Updated 11 years ago
- ☆19Oct 13, 2015Updated 11 years ago
- ☆25Dec 13, 2016Updated 9 years ago
- a maze game.☆29Jul 31, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆61Feb 27, 2018Updated 8 years ago
- 龙芯桌面环境 Loongson Desktop Environment☆25Oct 6, 2016Updated 10 years ago
- A pattern matching extension for C#6☆12May 20, 2016Updated 10 years ago
- Procedural terrain generator.☆10Jan 28, 2018Updated 8 years ago
- ML-style pattern matching in C++.☆29Dec 28, 2018Updated 7 years ago
- An almost-pure C++ library for writing functional code.☆37Oct 9, 2014Updated 12 years ago
- http://zhuanlan.zhihu.com/toys-factory☆12Feb 21, 2018Updated 8 years ago
- Yet another EGE library☆23Jan 29, 2024Updated 2 years ago
- Prototype for new std::function features, compatible with C++11.☆47Apr 27, 2020Updated 6 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Corecat: Core library☆21Jun 29, 2018Updated 8 years ago
- A simple scripting language similar to Lua. 一个类似于 Lua 的简单脚本语言.☆12Feb 9, 2024Updated 2 years ago
- Teaching my girlfriend Python programming☆22Jun 3, 2016Updated 10 years ago
- 基于字典树的简单脏词匹配替换类 A trie-tree-based dirty word checker for c++.☆27Nov 16, 2015Updated 10 years ago
- Mike's Arbitrary Precision Math Library Version 5.1☆12Jan 16, 2026Updated 9 months ago
- ☆14Jan 22, 2025Updated last year
- An Android UI framework for chatting APPs.☆17May 10, 2016Updated 10 years ago
- ☆18Apr 10, 2015Updated 11 years ago
- the compiler for the Cm programming language☆31Dec 13, 2017Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- The Alms Programming Language☆43Aug 29, 2018Updated 8 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- Web component that implement Acrylic texture of Axiom Design System.☆14Updated this week
- A YAML-based configuration library for Rust☆13Aug 6, 2019Updated 7 years ago
- A Shake C++ Framework☆12Apr 5, 2015Updated 11 years ago
- [DEPRECATED] Use https://github.com/akemimadoka/Cafe instead☆37Nov 18, 2018Updated 7 years ago
- 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
- ☆20Jun 4, 2013Updated 13 years ago
- This is a multitasking and x86 based operating system.☆40May 5, 2020Updated 6 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Mirror of the GHC user's guide for readthedocs.org☆10Nov 29, 2016Updated 9 years ago
- ES2017 Atomics and SharedArrayBuffer based Semaphore implementation☆10Feb 7, 2017Updated 9 years ago
- "An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)☆13Mar 31, 2017Updated 9 years ago
- The Patrisika Example Language☆57Mar 21, 2026Updated 7 months ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆12Feb 27, 2020Updated 6 years ago
- scripts for testing TiDB☆11Feb 4, 2026Updated 8 months ago
- Source code of Liyuwiki.com, an open online dictionary, copycat of urbandictionary.☆16Jul 18, 2016Updated 10 years ago