executable λ-calclulus
☆14Aug 22, 2015Updated 10 years ago
Alternatives and similar repositories for mindo
Users that are interested in mindo are comparing it to the libraries listed below
Sorting:
- Offline location geocoder/reverse geocoder from GeoName datasets☆17Oct 1, 2018Updated 7 years ago
- Shell made for a Systems Programming course in Fall 2013☆10Dec 15, 2015Updated 10 years ago
- is he ?☆11Feb 23, 2016Updated 10 years ago
- Proxy for debugging nREPL interactions☆21Jul 8, 2024Updated last year
- SeeMeCNC Orion Delta 3D Printer☆19Nov 25, 2020Updated 5 years ago
- Small Emacs-Lisp library for non-blocking threads, if by "thread" you mean "list of functions"☆15Aug 18, 2024Updated last year
- OCaml implementation of http://hashids.org☆12Nov 17, 2018Updated 7 years ago
- A simple linked data tool☆37Apr 18, 2020Updated 5 years ago
- Delimited continuations library☆17Nov 8, 2014Updated 11 years ago
- Relational version of parsing with derivatives code☆43Feb 15, 2013Updated 13 years ago
- Minimal Clojure-like interpreter with FEXPRs☆16Sep 17, 2012Updated 13 years ago
- Dockerfile and configuration files to build a docker container with uWSGI + Django/Flask etc.☆13Apr 4, 2018Updated 7 years ago
- ☆18Updated this week
- Pseudo types and polymorphism for clj and cljs.☆10Jan 15, 2026Updated 2 months ago
- WebCL Validator☆39Jun 13, 2014Updated 11 years ago
- microKanren sagittarius/larceny☆11Jun 13, 2015Updated 10 years ago
- scm->js☆22Jun 26, 2015Updated 10 years ago
- Qua virtual machine for JavaScript☆11Apr 20, 2023Updated 2 years ago
- LISP INTERPRETER and TEXT EDITOR☆20Jul 12, 2024Updated last year
- Polymorphic music library with export to musicxml and midi☆16Jan 20, 2024Updated 2 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated 10 months ago
- Administrative repo for the Lathe collection of general-purpose libraries.☆14Jan 7, 2022Updated 4 years ago
- OCaml Ctypes stubs generation notes☆21May 1, 2019Updated 6 years ago
- Python bindings for Inter-Module Communication Protocol (IMC)☆10Apr 7, 2022Updated 3 years ago
- A functional Scheme for world domination.☆382Jun 16, 2018Updated 7 years ago
- Emacs Clojure IDE based on UNREPL☆148Mar 1, 2018Updated 8 years ago
- FNV hash collision generator☆12Mar 2, 2017Updated 9 years ago
- Randomized testing framework, designed for compatibility with Base☆18Jan 15, 2026Updated 2 months ago
- John Tromp homepage☆29Updated this week
- Common code for squint and cherry☆14Dec 31, 2022Updated 3 years ago
- Clojure ring adapter to Undertow web server.☆15Apr 27, 2023Updated 2 years ago
- DOcker Survival Kit☆12Sep 10, 2020Updated 5 years ago
- Extensible conversion of Clojure code to Hiccup forms.☆14Jul 15, 2024Updated last year
- NetBSD cdb (constant database) library☆14May 24, 2019Updated 6 years ago
- Personal filter list for uBlock. Filter ai & 3D art from pixiv☆11Aug 24, 2025Updated 6 months ago
- a mini minikanren☆26Aug 9, 2013Updated 12 years ago
- A module that extends Lua with a few essential functions☆15Feb 13, 2017Updated 9 years ago
- A Clojurescript interface to the Web Audio API, intended for sonification☆12Jul 22, 2020Updated 5 years ago
- Using the Stan statistical modelling language from Clojure using the CmdStan CLI☆11May 1, 2025Updated 10 months ago