Summer Scheming!!!!!!
☆11Aug 20, 2020Updated 6 years ago
Alternatives and similar repositories for summer-scheming
Users that are interested in summer-scheming are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Normalization-by-evaluation in miniKanren☆25Feb 26, 2023Updated 3 years ago
- variations on lisp, exploring reflection☆12Jun 21, 2025Updated last year
- A desktop viewer for clerk.☆13Oct 12, 2022Updated 4 years ago
- MessagePack for R6RS Scheme / msgpack.org[Scheme]☆12Oct 17, 2013Updated 13 years ago
- Geolocated Information Processing System (GeoIPS)☆10Jul 25, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- purple: compiling a reflective language☆33Feb 27, 2026Updated 8 months ago
- software archaeology of reflective towers of interpreters☆18Jun 6, 2025Updated last year
- WDFW freshwater creel estimates☆19Oct 21, 2026Updated last week
- Prolog Implementation in Python☆12Dec 28, 2017Updated 8 years ago
- Selective applicative functors laws and theorems☆15Mar 12, 2020Updated 6 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- Python implementation of lstar automata learning algorithm.☆10Jan 23, 2024Updated 2 years ago
- an optimizing curry compiler☆15Nov 27, 2022Updated 3 years ago
- Research project: Program synthesis using updated interface, template and types.☆14Dec 2, 2020Updated 5 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated last year
- ☆17Oct 14, 2026Updated 2 weeks ago
- Course on Metaprogramming☆78Feb 5, 2026Updated 8 months ago
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆26Jan 19, 2014Updated 12 years ago
- Clojure (language) integrated query (and database)☆11Jan 2, 2025Updated last year
- Tools for introspecting the current JVM process in Clojure☆10Aug 4, 2022Updated 4 years ago
- Theorems that rule this multiverse☆11Oct 6, 2018Updated 8 years ago
- A clojure CLI build tool, and build library.☆14May 14, 2023Updated 3 years ago
- Lua backend for PureScript☆14May 29, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆12Jul 18, 2013Updated 13 years ago
- Probabilistic data structures and sketching algorithms in Clojure☆13May 27, 2026Updated 5 months ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 8 years ago
- [Discontinued] Zig as a Clojure library.☆14Sep 15, 2026Updated last month
- ready-made workflow steps for titanoboa☆15Jan 5, 2022Updated 4 years ago
- WIP clojure bindings for tree-sitter☆12Apr 28, 2025Updated last year
- ☆10Aug 13, 2019Updated 7 years ago
- Scheme Writen in Javascript☆13Nov 2, 2012Updated 13 years ago
- Type-Theory in Sequent Calculus☆14Jul 30, 2015Updated 11 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Summaries of intro and advanced miniKanren hangout series☆29Dec 18, 2017Updated 8 years ago
- Universal Register Machine implemented at the type-level of Haskell☆23Apr 5, 2016Updated 10 years ago
- Kanren with databases☆44Jul 30, 2024Updated 2 years ago
- Relational algebra implementation in Agda with simple bindings to SQLITE☆14Oct 9, 2023Updated 3 years ago
- Benchmarks and faster constructs for Clojure☆14Apr 9, 2018Updated 8 years ago
- R7RS/R6RS/Generic Scheme portability platform☆38Aug 28, 2024Updated 2 years ago
- write a little simply typed functional language to practice Rust☆15Jul 22, 2023Updated 3 years ago