An Imperishable Wonderland of Infinite Fun
☆15Apr 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
- From Bronze to GM in miniKanren!☆13May 22, 2025Updated last year
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆65Dec 30, 2018Updated 7 years ago
- Dream Scheme interpreter by David Joseph Stith☆16Jun 18, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Interactive Scheme Primer, written in Scheme.☆22Jun 9, 2025Updated last year
- Kanren with databases☆44Jul 30, 2024Updated 2 years ago
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆26Feb 17, 2015Updated 11 years ago
- My personal site.☆10Oct 6, 2026Updated last week
- CLP(SMT) on top of miniKanren☆39Feb 26, 2022Updated 4 years ago
- An emulator of the github api implemented in clojure to test your github app☆12Sep 17, 2025Updated last year
- Almost all of Csound as an Android app, with a built-in code editor and support for HTML5 and JavaScript.☆14Nov 6, 2024Updated last year
- Guile Module to get Meanings, Synonyms, Antonyms and more for a given word☆10Sep 1, 2020Updated 6 years ago
- Relational Scheme interpreter, written in miniKanren, with Scheme pattern matcher☆11Mar 17, 2015Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A fast implementation of miniKanren with disequality and absento, compatible with Racket, Chez, and Guile.☆170Jul 11, 2026Updated 3 months ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆140Jun 21, 2018Updated 8 years ago
- ClojureScript Master Class☆17Sep 14, 2019Updated 7 years ago
- Ledger financial translation to the Clojure merkledag data structure.☆12Nov 7, 2022Updated 3 years ago
- Keynote talk for Lambda Jam 2017 in Sydney☆20Sep 16, 2018Updated 8 years ago
- ☆11Apr 1, 2024Updated 2 years ago
- Example of using s7 Scheme with web assembly and emscripten☆16Jul 29, 2023Updated 3 years ago
- nool is nool☆11Sep 7, 2026Updated last month
- The WebScheme compiler☆40Apr 29, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A port of MiniKanren to F# - embedded, typed logic programming☆30Jan 28, 2018Updated 8 years ago
- Snowflake CSS - simplify your CSS with globally unique selectors☆13Jun 16, 2021Updated 5 years ago
- a minimal implementation of incremental computation in Scheme☆39Apr 30, 2017Updated 9 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆49Feb 12, 2025Updated last year
- The Grand Scheme Glossary☆32May 29, 2025Updated last year
- axml : forked (archived). Read/write AXML (AndroidManifest) file format.☆14Oct 13, 2020Updated 6 years ago
- A playground with a bit of both reframe and Fulcro sharing the load☆16May 10, 2020Updated 6 years ago
- Evil Java Interop☆17Aug 16, 2014Updated 12 years ago
- A Jupyter Notebook kernel for SuperCollider's sclang☆18Jun 3, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- CLP(Set) in miniKanren☆24Oct 21, 2025Updated 11 months ago
- A modern Prolog implementation written mostly in Rust.☆12Updated this week
- A metalanguage for creating sophisticated DSLs in Racket.☆41Oct 14, 2025Updated last year
- feliz react template: using F# , fable vite plugin, vite and vitest, an alternative to typescript?☆11Jun 27, 2025Updated last year
- Unified Maude model-checking tool☆13Jul 29, 2026Updated 2 months ago
- miniKanren with a first-order representation of the search space☆16Mar 11, 2026Updated 7 months ago
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago