Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
☆23Mar 29, 2023Updated 3 years ago
Alternatives and similar repositories for quinegraphs
Users that are interested in quinegraphs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆20Jul 4, 2023Updated 3 years ago
- A visualiser for lambda terms as rooted maps.☆13Dec 17, 2021Updated 4 years ago
- Prose Markup Language☆10Mar 31, 2023Updated 3 years ago
- 韦编: A Note System Powered by Typst☆19Aug 12, 2026Updated 3 weeks ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 3 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Catalog of visual lambda calculi☆176Jul 15, 2025Updated last year
- stupid conlang project☆15Mar 1, 2022Updated 4 years ago
- ☆10Oct 30, 2022Updated 3 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆21Aug 2, 2026Updated last month
- Run CoffeeScript or JavaScript in Atom.☆11Aug 20, 2017Updated 9 years ago
- Metamath logic game☆10Aug 11, 2026Updated 3 weeks ago
- A tinder bot/automation utility for social experimentation.☆11Nov 24, 2016Updated 9 years ago
- A simple video synth for Consoles, controlled by OSC☆17Jun 10, 2020Updated 6 years ago
- Redis search and indexing in Java☆16Sep 26, 2016Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Build webserver using Julia☆15Apr 14, 2012Updated 14 years ago
- ☆13Feb 9, 2022Updated 4 years ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- A JVM implemented in 100% pure Java, ported from MaxineVM☆16Dec 31, 2010Updated 15 years ago
- Interactive POetry Editor☆28Oct 24, 2021Updated 4 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 11 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- Another custom level pack for Baba Is You.☆23Dec 5, 2021Updated 4 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆65Jul 17, 2026Updated last month
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Pure relational SKI combinator calculus interpreter.☆11Jul 13, 2017Updated 9 years ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- A prototype Identity Contract for MetaTransactions, social recovery on ethereum☆13Dec 30, 2022Updated 3 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Facebook login Automation using Selenium webdriver☆13Dec 20, 2019Updated 6 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- CodeQL and Binary Ninja scripts to accompany the blog post☆11Feb 3, 2023Updated 3 years ago
- Grocery shopping roguelike developed for the 7drl game jam☆24Mar 9, 2020Updated 6 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Very hacky Starlet emulator. Here be dragons, this was never meant to be released.☆12Nov 30, 2016Updated 9 years ago
- A portable parser combinator library that does not require a runtime☆13Sep 16, 2019Updated 6 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 3 years ago
- Self-replicating, self-modifying Assembly program that can evolve into every possible computer program in the universe (EXPERIMENTAL)☆60Nov 23, 2020Updated 5 years ago
- Agda to C compiler☆11Sep 23, 2025Updated 11 months ago
- Forward messages to collaborators in East-oriented style.☆14Aug 17, 2026Updated 2 weeks ago
- Visual Studio Code settings for TIC-80 game developers☆19Mar 13, 2019Updated 7 years ago