Scala implementation of a lambda calculus interpreter
☆28Mar 19, 2010Updated 16 years ago
Alternatives and similar repositories for LambdaCalculus
Users that are interested in LambdaCalculus are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- prototyping logic programming in Scala☆42Mar 25, 2022Updated 4 years ago
- Peggy is a PEG parser generator for Go.☆20Oct 22, 2025Updated 8 months ago
- ☆12Nov 6, 2021Updated 4 years ago
- Vitsy Programming Language, WIP☆11Feb 15, 2017Updated 9 years ago
- My Attempt at System Fω with Row-Polymorphism☆31Jul 4, 2021Updated 5 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.
- Erlang source code parser written in Rust☆10May 21, 2026Updated last month
- A small TypeScript library to do pattern matching☆13Nov 30, 2015Updated 10 years ago
- A library for reusable parsers☆17Feb 5, 2021Updated 5 years ago
- C++11 Parsing Expression Grammar Generator☆24Jun 30, 2020Updated 6 years ago
- 更新固件☆16Oct 7, 2023Updated 2 years ago
- A webpack loader for Haskell (!)☆15Feb 23, 2015Updated 11 years ago
- A hobby operating system written in C++14☆12Jun 18, 2016Updated 10 years ago
- A pseudo functional programming library for Excel VBA.☆12Jun 6, 2015Updated 11 years ago
- A tool for turning mdbooks into slide shows☆24Feb 20, 2026Updated 4 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- type-system, revised unification algorithm and runtime time representations☆13Dec 12, 2019Updated 6 years ago
- Code to accompany ESOP 2016 paper☆12Jan 31, 2016Updated 10 years ago
- A plugin for SBT to facilitate the use of ProGuard to create single jars for SBT-managed projects.☆47Jun 6, 2011Updated 15 years ago
- A sampling-based heap memory profiler for WebAssembly on JavaScript engines.☆15Nov 25, 2025Updated 7 months ago
- Fast Bytecode Analysis☆15Jan 2, 2016Updated 10 years ago
- ☆17Aug 30, 2018Updated 7 years ago
- Collection of Lua modules for general programming (in the (La)TeX world)☆11Jun 14, 2024Updated 2 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 4 years ago
- ☆10Jul 16, 2017Updated 8 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.
- A Redex tutorial with a focus on how to do work in Redex☆11Oct 21, 2024Updated last year
- Dance Dance Revolution DIY Board☆28Sep 4, 2017Updated 8 years ago
- Deprecated and superseded by https://github.com/scalamacros/paradise☆36Jan 27, 2014Updated 12 years ago
- An implementation of structural subtyping of records and functions☆13Jul 14, 2018Updated 7 years ago
- Erlang BEAM emulator in Haskell☆48Jun 14, 2014Updated 12 years ago
- ExcelのVBEに機能を追加して、VBA開発を楽にするためのアドイン。ソースコード、CustomUIのエクスポートに対応し、Gitへ上げる準備やWinMergeによるDIFFを容易にできるようにします。☆17Jul 19, 2021Updated 4 years ago
- ☆11Apr 18, 2024Updated 2 years ago
- Barcode generator for LibreOffice and MSOffice as pure VBA macro☆22Feb 18, 2024Updated 2 years ago
- refinement types for Elm☆16Jul 12, 2023Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A tiny implementation of the Levenshtein edit distance algorithm.☆13Jun 29, 2025Updated last year
- ☆14May 9, 2021Updated 5 years ago
- A port of the Blackboard theme from TextMate to Vim.☆33Dec 16, 2010Updated 15 years ago
- Nez parsing library☆26May 29, 2022Updated 4 years ago
- Improviso Font for LilyPond☆11Mar 28, 2016Updated 10 years ago
- a 2D static spatial grid index in JS☆13Dec 7, 2022Updated 3 years ago
- ☆14Oct 30, 2015Updated 10 years ago