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
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- 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 6 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 last month
- Pseudo types and polymorphism for clj and cljs.☆10Jan 15, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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 3 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 last year
- Administrative repo for the Lathe collection of general-purpose libraries.☆14Jan 7, 2022Updated 4 years ago
- OCaml Ctypes stubs generation notes☆21May 1, 2019Updated 7 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.
- Python bindings for Inter-Module Communication Protocol (IMC)☆10Apr 7, 2022Updated 4 years ago
- A functional Scheme for world domination.☆383Jun 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☆18Apr 6, 2026Updated 3 weeks 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 3 years ago
- DOcker Survival Kit☆12Sep 10, 2020Updated 5 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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 8 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
- Orchestrate groups of software-ready instances on the cloud☆11Dec 8, 2022Updated 3 years ago
- Using the Stan statistical modelling language from Clojure using the CmdStan CLI☆11May 1, 2025Updated last year