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:
- From Bronze to GM in miniKanren!☆13May 22, 2025Updated 9 months ago
- 极速VPN☆21Aug 6, 2020Updated 5 years ago
- ☆12Feb 20, 2024Updated 2 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 8 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆23Feb 17, 2015Updated 11 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 4 years ago
- A port of MiniKanren to F# - embedded, typed logic programming☆30Jan 28, 2018Updated 8 years ago
- My personal site.☆10Mar 1, 2026Updated last week
- Kanren with databases☆44Jul 30, 2024Updated last year
- The WebScheme compiler☆40Apr 29, 2025Updated 10 months ago
- a minimal implementation of incremental computation in Scheme☆37Apr 30, 2017Updated 8 years ago
- 夜鹭页录(YeluYelu),记录夜鹭奇妙拟态的图鉴网站☆18Jun 3, 2025Updated 9 months ago
- 🐥 Gallery Viewer for Anime Girls Holding Programming Books☆12Updated this week
- Interactive help subsystem for the q/kdb+ session☆14Dec 21, 2019Updated 6 years ago
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?☆10Jun 27, 2025Updated 8 months ago
- An Emacs package to remind you of the importance of Hydration☆12May 30, 2025Updated 9 months ago
- Run Dyalog APL under Docker☆11Dec 18, 2025Updated 2 months ago
- A Lean 4 formalization of Pólya enumeration theorem.☆21Jun 6, 2025Updated 9 months ago
- ☆12Feb 18, 2019Updated 7 years ago
- a toy bittorrent client☆11Dec 8, 2024Updated last year
- cpufuzz is a dumb, simple and portable CPU fuzzer☆11Jan 27, 2019Updated 7 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 10 years ago
- LLMs in Futhark☆12Sep 1, 2025Updated 6 months ago
- ☆10Mar 14, 2016Updated 9 years ago
- A utility to manage HTTP requests from APL☆12Feb 11, 2026Updated 3 weeks ago
- Interactive Brainfuck compiler/interpreter/profiler/transpiler written in Zig☆11May 24, 2025Updated 9 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 8 months ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 10 years ago
- Arete is an experimental programming language.☆12Oct 6, 2023Updated 2 years ago
- fbDOOM with RISC-V Vector optimizations☆17Aug 30, 2023Updated 2 years ago
- ZIO-inspired APIs for Kyo☆12Apr 18, 2024Updated last year
- Translate Python code to Hy code☆18Jan 14, 2026Updated last month
- Python实现的Scheme方言,支持宏、continuation、lambda、各种基本类型等等,可以直接Python解释执行,也可以编译到JavaScript。编译到JS可以与JavaScript动态交互(互相调用)☆21Jun 24, 2013Updated 12 years ago
- A (mostly) SwiftUI application to interface with CBQN and ngn/k libraries into a (mostly) working repl.☆11Nov 23, 2023Updated 2 years ago
- Elixir-based SPA sites without the SPA☆10Jan 6, 2023Updated 3 years ago
- A list of books about mathematical subjects, using array languages like APL and J for their presentation.☆15Jan 19, 2026Updated last month
- ☆20Feb 12, 2026Updated 3 weeks ago
- nool is nool☆11Aug 31, 2025Updated 6 months ago