A lambda calculus interpeter
☆70Dec 19, 2024Updated last year
Alternatives and similar repositories for lci
Users that are interested in lci are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A small λ-calculus interpreter in C☆58Sep 3, 2014Updated 11 years ago
- ☆16Feb 1, 2026Updated 2 months ago
- Ragged writings on all things☆15Jan 24, 2022Updated 4 years ago
- ☆26Dec 31, 2021Updated 4 years ago
- Dependently Typed Lambda Calculus in Haskell☆116Mar 8, 2021Updated 5 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- The Happy parser generator for Haskell☆317Updated this week
- A portable linker for multiple file formats.☆14Aug 28, 2023Updated 2 years ago
- Personal research notes☆19Oct 18, 2024Updated last year
- Attribute grammar Based Language Extensions for C☆42Feb 20, 2026Updated last month
- Easy insertion of unicode math symbols☆11May 24, 2025Updated 10 months ago
- A lisp interpreter☆13Oct 1, 2020Updated 5 years ago
- Support for more structured MongoDB databases☆10Apr 2, 2024Updated 2 years ago
- Hindley-Milner Type Inference☆12Dec 29, 2019Updated 6 years ago
- Primary GIT Repository for the Zephyr Project☆12Updated this week
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- ☆15Oct 19, 2023Updated 2 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆31Jan 6, 2022Updated 4 years ago
- A Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- Xcbwin - a simple C++ class for graphical outputs using XCB☆12May 12, 2015Updated 10 years ago
- NOVA Microhypervisor☆11Feb 6, 2026Updated 2 months ago
- Simplistic toy editor for D. Failed and abandoned, use anything else instead!☆19Aug 10, 2017Updated 8 years ago
- An open source Ada wallet for users who need more☆40Aug 9, 2019Updated 6 years ago
- Educational Proof Assistant for Type Theory☆78Mar 28, 2026Updated last week
- TeX files for summary of category theory☆15Apr 9, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- Emacs major mode of HCL(Hashicorp Configuration Language)☆42Mar 5, 2024Updated 2 years ago
- A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.☆16Oct 1, 2020Updated 5 years ago
- A simple WebExtension for skipping the "Save As" dialog when saving pages and images.☆12Nov 11, 2022Updated 3 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- A tiny statically typed programming language☆18Jul 22, 2014Updated 11 years ago
- Racket bindings for the Slack API☆10Mar 4, 2019Updated 7 years ago
- ☆49Jan 6, 2013Updated 13 years ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- ☆11Aug 6, 2015Updated 10 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- repl plugin for neovim built on textobjects☆13Feb 1, 2023Updated 3 years ago
- An integrated context-aware scanner and parser generator☆22Dec 4, 2023Updated 2 years ago
- A compiler for a Lisp dialect☆23Feb 13, 2026Updated last month
- an implementation of gradual typing in mit-scheme☆10Apr 11, 2021Updated 4 years ago
- Firmware update log☆13Apr 12, 2021Updated 4 years ago
- cparse is an LR(1) and LALR(1) parser generator☆65Feb 9, 2026Updated last month
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago