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. We may earn a commission when you buy through links labeled 'Ad' on this page.
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
- 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.
- 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 8 years ago
- ☆18Mar 23, 2026Updated 2 weeks ago
- Pseudo types and polymorphism for clj and cljs.☆10Jan 15, 2026Updated 2 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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 11 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
- 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.
- Python bindings for Inter-Module Communication Protocol (IMC)☆10Apr 7, 2022Updated 4 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☆18Updated this week
- John Tromp homepage☆29Mar 16, 2026Updated 3 weeks ago
- 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
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 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 7 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
- Orchestrate groups of software-ready instances on the cloud☆11Dec 8, 2022Updated 3 years ago