A lambda calculus interpeter
☆69Dec 19, 2024Updated last year
Alternatives and similar repositories for lci
Users that are interested in lci are comparing it to the libraries listed below
Sorting:
- A small λ-calculus interpreter in C☆58Sep 3, 2014Updated 11 years ago
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- ☆15Feb 1, 2026Updated last month
- Turn a flat rst text file into a simle HTML diary☆23Oct 29, 2024Updated last year
- A toy turtle graphics interpreter based on the Free monad, in PureScript, with HTML Canvas graphics support.☆16Oct 1, 2020Updated 5 years ago
- Ragged writings on all things☆15Jan 24, 2022Updated 4 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- A Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- Materials for my LambdaConf 2015 Workshop☆17May 22, 2015Updated 10 years ago
- Introduction to Emacs Lisp Programming （Emacs Lisp プログラミング入門）日本語訳☆39Nov 4, 2013Updated 12 years ago
- Personal research notes☆19Oct 18, 2024Updated last year
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- literate-style programming for purescript☆22Dec 5, 2018Updated 7 years ago
- tie two trees together to track a transformation☆27Jul 30, 2015Updated 10 years ago
- ☆21Aug 7, 2015Updated 10 years ago
- A library for working with the PureScript functional core.☆24Jun 9, 2020Updated 5 years ago
- Aff wrappers for purescript-node-fs☆21Aug 4, 2023Updated 2 years ago
- ☆49Jan 6, 2013Updated 13 years ago
- A funny toy programming language project☆28Feb 9, 2013Updated 13 years ago
- Lambdabot for Slack☆20Sep 16, 2016Updated 9 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- clojure predicate dispatch☆28Aug 18, 2017Updated 8 years ago
- ☆26Dec 31, 2021Updated 4 years ago
- CLaSH prelude library containing datatypes and functions for circuit design☆31Sep 6, 2018Updated 7 years ago
- Haskell package for representation, parsing, and pretty-printing of GLSL☆31Sep 19, 2023Updated 2 years ago
- applicative opt parsing for node☆31Jun 14, 2021Updated 4 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- a small, themed, UI toolkit for Rust, using NanoVG vector-graphics library☆26Apr 18, 2015Updated 10 years ago
- The Happy parser generator for Haskell☆317Jan 16, 2026Updated last month
- ☆25Dec 1, 2022Updated 3 years ago
- A tiny language for teaching and experimenting with Refinement Types☆49Jun 22, 2021Updated 4 years ago
- Node.js file I/O for purescript☆34Jun 23, 2024Updated last year
- A type checker for the Lean theorem prover☆40Mar 6, 2021Updated 5 years ago
- A partial, experimental implementation of an Elisp interpreter written in Go☆37Jul 7, 2024Updated last year
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/andrews-deal☆10Sep 16, 2022Updated 3 years ago
- An open source Ada wallet for users who need more☆40Aug 9, 2019Updated 6 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year