webyrd / imperishable-wonderlandView external linksLinks
An Imperishable Wonderland of Infinite Fun
☆13Apr 17, 2024Updated last year
Alternatives and similar repositories for imperishable-wonderland
Users that are interested in imperishable-wonderland are comparing it to the libraries listed below
Sorting:
- Book and code and pointers to videos for my relational interpreter course☆12Jan 24, 2025Updated last year
- From Bronze to GM in miniKanren!☆13May 22, 2025Updated 8 months ago
- 极速VPN☆21Aug 6, 2020Updated 5 years ago
- ☆12Feb 20, 2024Updated last year
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 8 years ago
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated 8 months ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆23Feb 17, 2015Updated 10 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆63Dec 30, 2018Updated 7 years ago
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 3 years ago
- My personal site.☆10Jan 20, 2026Updated 3 weeks ago
- ☆14Feb 8, 2026Updated last week
- Kanren with databases☆44Jul 30, 2024Updated last year
- SIGPLAN website☆13Jan 28, 2026Updated 2 weeks ago
- A back end as a service based on MongoDB☆57Aug 18, 2015Updated 10 years ago
- 🐥 Gallery viewer for https://github.com/cat-milk/Anime-Girls-Holding-Programming-Books☆12Updated this week
- a minimal implementation of incremental computation in Scheme☆36Apr 30, 2017Updated 8 years ago
- 夜鹭页录(YeluYelu),记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 8 months ago
- A modern Prolog implementation written mostly in Rust.☆12Jan 18, 2026Updated 3 weeks ago
- Learn nix by example☆11Aug 11, 2022Updated 3 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 9 years ago
- A utility to manage HTTP requests from APL☆12Updated this week
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 10 years ago
- Scheme in Go☆15Nov 26, 2025Updated 2 months ago
- ☆13Aug 13, 2023Updated 2 years ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 8 months ago
- ☆11Apr 1, 2024Updated last year
- Interactive help subsystem for the q/kdb+ session☆14Dec 21, 2019Updated 6 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- The official repository of the Scala Macros and Metaprogramming course on Rock the JVM☆14Nov 13, 2025Updated 3 months ago
- sidecore lets you run IoT systems, using flattened docker images from github.com/u-root/sidecore-images, as easily as you run a shell scr…☆10Jun 20, 2025Updated 7 months ago
- Interactive Brainfuck compiler/interpreter/profiler/transpiler written in Zig☆11May 24, 2025Updated 8 months ago
- ☆12Feb 18, 2019Updated 6 years ago
- A Scala macro for generating classes in scala that mirror the generated jooq java code☆10Apr 26, 2021Updated 4 years ago
- cpufuzz is a dumb, simple and portable CPU fuzzer☆11Jan 27, 2019Updated 7 years ago
- a toy bittorrent client☆11Dec 8, 2024Updated last year
- An Emacs package to remind you of the importance of Hydration☆12May 30, 2025Updated 8 months ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated last month
- The dotfiles I infect my computers with☆12Jan 4, 2025Updated last year
- FEniCS Project Documentation. It is updated automatically by GitHub Actions jobs running on the `main` branch of each project.☆13Updated this week