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 Note System Powered by Typst☆19Aug 12, 2026Updated last month
- Catalog of visual lambda calculi☆177Jul 15, 2025Updated last year
- stupid conlang project☆15Mar 1, 2022Updated 4 years ago
- ☆11Oct 30, 2022Updated 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.
- Run CoffeeScript or JavaScript in Atom.☆11Aug 20, 2017Updated 9 years ago
- Metamath logic game☆10Aug 11, 2026Updated last month
- Cryptopunk gifting protocol. Available on https://cryptopunk.rent☆12Oct 4, 2023Updated 2 years ago
- A tinder bot/automation utility for social experimentation.☆11Nov 24, 2016Updated 9 years ago
- Source code & exercises in Arend's documentation☆22Jul 24, 2026Updated 2 months 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
- Build webserver using Julia☆15Apr 14, 2012Updated 14 years ago
- ☆13Feb 9, 2022Updated 4 years ago
- 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.
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- Interactive POetry Editor☆28Oct 24, 2021Updated 4 years ago
- Support library for the ODROID-GO Advance☆20Jan 14, 2024Updated 2 years ago
- Disassembly of the game.com boot ROM☆13Dec 10, 2020Updated 5 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆65Jul 17, 2026Updated 2 months ago
- 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
- 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
- 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.
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 10 years ago
- Very hacky Starlet emulator. Here be dragons, this was never meant to be released.☆12Nov 30, 2016Updated 9 years ago
- Reversible programming in Agda☆13Jun 22, 2023Updated 3 years ago
- Agda to C compiler☆11Sep 23, 2025Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Forward messages to collaborators in East-oriented style.☆14Updated this week
- Crate to interface full H-bridge motor drivers☆11May 16, 2018Updated 8 years ago
- Aims to be a complete specification for Counterparty transactions☆11Mar 7, 2017Updated 9 years ago
- Leibniz is a python package which provide facilities to express learnable partial differential equations with PyTorch☆15Sep 13, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- experiments in building tiny tracing JITs in various languages (Prolog to start)☆11Sep 17, 2026Updated last week
- Dependently typed lambda calculus - A Simple Proof Assistant☆13Sep 3, 2020Updated 6 years ago
- DSP Blocks for the nMigen (Python) Toolbox☆11Nov 5, 2020Updated 5 years ago
- PWV Functional Language☆17Oct 30, 2023Updated 2 years ago
- A Swift library to write parsers for domain specific languages.☆15Nov 3, 2020Updated 5 years ago
- A "wikipedia" client for nostr☆14Sep 25, 2023Updated 2 years ago
- A chip8 emulator made in gameboy assembly for the gameboy☆16Aug 12, 2021Updated 5 years ago