chatziko / lciView external linksLinks
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:
- Higher Subleq is a simplified typeless C language.☆12Oct 21, 2015Updated 10 years ago
- ☆15Feb 1, 2026Updated 2 weeks ago
- Turn a flat rst text file into a simle HTML diary☆23Oct 29, 2024Updated last year
- Japanese translation of R7RS small spec☆17Mar 26, 2017Updated 8 years ago
- Ragged writings on all things☆15Jan 24, 2022Updated 4 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 Haskell prelude optimized for safety☆18Jan 6, 2017Updated 9 years ago
- ☆10Jan 24, 2016Updated 10 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- Introduction to Emacs Lisp Programming (Emacs Lisp プログラミング入門)日本語訳☆39Nov 4, 2013Updated 12 years ago
- Materials for my LambdaConf 2015 Workshop☆17May 22, 2015Updated 10 years ago
- Personal research notes☆18Oct 18, 2024Updated last year
- Yes, it is what you think it is☆33Jan 20, 2016Updated 10 years ago
- tie two trees together to track a transformation☆27Jul 30, 2015Updated 10 years ago
- literate-style programming for purescript☆22Dec 5, 2018Updated 7 years ago
- Scala port of Paolo Capriotti's optparse-applicative library. This repository is no longer maintained; newer versions exist in this fork:…☆71Apr 4, 2018Updated 7 years ago
- A lisp dialect written in PureScript☆21Dec 10, 2017Updated 8 years ago
- Aff wrappers for purescript-node-fs☆21Aug 4, 2023Updated 2 years ago
- A library for working with the PureScript functional core.☆24Jun 9, 2020Updated 5 years ago
- ☆21Aug 7, 2015Updated 10 years ago
- ☆49Jan 6, 2013Updated 13 years ago
- Common Lisp DSL for building untyped lambda calculus expressions☆26Dec 3, 2024Updated last year
- Lambdabot for Slack☆20Sep 16, 2016Updated 9 years ago
- A funny toy programming language project☆29Feb 9, 2013Updated 13 years ago
- EB Lettrine☆63Mar 1, 2023Updated 2 years ago
- ☆26Dec 31, 2021Updated 4 years ago
- clojure predicate dispatch☆27Aug 18, 2017Updated 8 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
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- applicative opt parsing for node☆31Jun 14, 2021Updated 4 years ago
- cargo +nightly build☆34Jul 7, 2019Updated 6 years ago
- microkanren in sml☆27Feb 26, 2015Updated 10 years ago
- A C compatible and C++ like programming language that focuses on extensiblilty and giving the programmer control over how high-level cons…☆30Jan 6, 2022Updated 4 years ago
- ☆10Jun 29, 2021Updated 4 years ago
- Scans files for Nix store references and registers them with the Nix garbage collector.☆36Nov 25, 2025Updated 2 months 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
- Lean type-checker written in Scala.☆40Mar 13, 2022Updated 3 years ago