An Imperishable Wonderland of Infinite Fun
☆14Apr 17, 2024Updated 2 years ago
Alternatives and similar repositories for imperishable-wonderland
Users that are interested in imperishable-wonderland are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Book and code and pointers to videos for my relational interpreter course☆13Jan 24, 2025Updated last year
- ☆12Feb 20, 2024Updated 2 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 9 years ago
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated last year
- Kanren with databases☆44Jul 30, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Reproducing TracIn (Tracing Gradient Descent) using PyTorch☆11Nov 17, 2021Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆64Dec 30, 2018Updated 7 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆24Feb 17, 2015Updated 11 years ago
- An emulator of the github api implemented in clojure to test your github app☆12Sep 17, 2025Updated 10 months ago
- Almost all of Csound as an Android app, with a built-in code editor and support for HTML5 and JavaScript.☆13Nov 6, 2024Updated last year
- From Bronze to GM in miniKanren!☆13May 22, 2025Updated last year
- Relational interpeter combining miniKanren-in-miniKanren and Scheme-in-miniKanren☆22Jun 16, 2025Updated last year
- Infinity is a simple online puzzle hunt/jeopardy-style CTF platform.☆11Apr 1, 2021Updated 5 years ago
- Code Repository for Mastering Clojure, published by Packt☆13Jan 30, 2023Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 11 years ago
- Ledger financial translation to the Clojure merkledag data structure.☆12Nov 7, 2022Updated 3 years ago
- 极速VPN☆21Aug 6, 2020Updated 5 years ago
- ClojureScript Master Class☆17Sep 14, 2019Updated 6 years ago
- CLP(SMT) on top of miniKanren☆40Feb 26, 2022Updated 4 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 7 years ago
- ☆11Apr 1, 2024Updated 2 years ago
- Example of using s7 Scheme with web assembly and emscripten☆16Jul 29, 2023Updated 3 years ago
- Probabilistic programming with programmable variational inference.☆22Jul 13, 2026Updated 2 weeks 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.
- The WebScheme compiler☆40Apr 29, 2025Updated last year
- nool is nool☆11Aug 31, 2025Updated 10 months ago
- ☆15Aug 7, 2022Updated 3 years ago
- REPL is the best IDE☆15Jul 19, 2019Updated 7 years ago
- A set of helper methods for calling ETH Smart Contracts via JSON RPC.☆15Mar 4, 2019Updated 7 years ago
- a minimal implementation of incremental computation in Scheme☆37Apr 30, 2017Updated 9 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.☆168Jul 11, 2026Updated 2 weeks ago
- A collaborative benchmark of Discrete Combinatorial Problems for evaluating AI systems in generating constraint models from natural langu…☆18Jul 10, 2026Updated 2 weeks ago
- A port of MiniKanren to F# - embedded, typed logic programming☆30Jan 28, 2018Updated 8 years 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.
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆140Jun 21, 2018Updated 8 years ago
- Snowflake CSS - simplify your CSS with globally unique selectors☆13Jun 16, 2021Updated 5 years ago
- axml : forked (archived). Read/write AXML (AndroidManifest) file format.☆14Oct 13, 2020Updated 5 years ago
- Generate Datomic function literals from regular Clojure namespaces. On-prem.☆15Apr 29, 2023Updated 3 years ago
- A playground with a bit of both reframe and Fulcro sharing the load☆16May 10, 2020Updated 6 years ago
- An encoding of Zermelo-Fraenkel Set Theory in Coq☆29Dec 17, 2022Updated 3 years ago
- Scheme in Go☆16Nov 26, 2025Updated 8 months ago