Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).
☆22Mar 29, 2023Updated 2 years ago
Alternatives and similar repositories for quinegraphs
Users that are interested in quinegraphs are comparing it to the libraries listed below
Sorting:
- Purely local graph rewrite system for the SKI combinator calculus, in chemlambda style.☆19Jul 4, 2023Updated 2 years ago
- Prose Markup Language☆10Mar 31, 2023Updated 2 years ago
- A visualiser for lambda terms as rooted maps.☆13Dec 17, 2021Updated 4 years ago
- a proportionally sized typeface for source code☆17Dec 26, 2017Updated 8 years ago
- Create ascii art quine from image file.☆15Dec 18, 2021Updated 4 years ago
- Interactive Theorem Proving for students☆21Aug 26, 2023Updated 2 years ago
- SWI-Prolog web server sources for www.swi-prolog.org☆19Feb 18, 2026Updated 2 weeks ago
- Catalog of visual lambda calculi☆171Jul 15, 2025Updated 7 months ago
- Interactive POetry Editor☆28Oct 24, 2021Updated 4 years ago
- ☆18Dec 24, 2025Updated 2 months ago
- Modern Style, a framework for optimizing SASS on web applications and sites.☆11Jan 14, 2015Updated 11 years ago
- A tinder bot/automation utility for social experimentation.☆10Nov 24, 2016Updated 9 years ago
- the mind-blowing sci-fi font☆11Mar 2, 2022Updated 4 years ago
- multi platform game engine☆11Sep 1, 2025Updated 6 months ago
- Software Language Engineering Body of Knowledge☆48Feb 17, 2020Updated 6 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Face recognition with low light with Pi zeroW☆10Feb 7, 2021Updated 5 years ago
- compare training duration of CNN with CPU (i7 8550U) vs GPU (mx150) with CUDA depending on batch size☆12Mar 24, 2018Updated 7 years ago
- ☆11Sep 5, 2022Updated 3 years ago
- nodejs code to control dot2 software use Akai APC mini controller☆15Mar 11, 2025Updated 11 months ago
- Layout and custom fields for DanePubliczne.gov.pl☆10Dec 7, 2022Updated 3 years ago
- A new CASPER toolflow based on an HDL primitives library☆17Apr 11, 2012Updated 13 years ago
- An open-source redundant distributed storage network☆17Oct 3, 2014Updated 11 years ago
- Skins for jPlayer 2.0.0. DEPRECATED see README.☆16May 15, 2012Updated 13 years ago
- An experimental test runner for LookML models.☆11Sep 17, 2021Updated 4 years ago
- files from cl directory of parcftp about 2014☆12Jan 16, 2024Updated 2 years ago
- Pi-Control 🥷 is an App for controlling your raspberry pi. It was designed to help with information gathering, as well as to simplify con…☆11Jun 23, 2023Updated 2 years ago
- Compiler generator (3rd Futamura projection) for first-order Scheme☆13May 21, 2016Updated 9 years ago
- Built-in NLP for Stealth bots via AWS Comprehend☆14May 8, 2020Updated 5 years ago
- Benchmarks of MLSTRUCT-FP dataset☆14Jan 29, 2026Updated last month
- ☆12Aug 13, 2025Updated 6 months ago
- Agda to C compiler☆10Sep 23, 2025Updated 5 months ago
- Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup☆16Dec 13, 2018Updated 7 years ago
- ☆16Nov 24, 2022Updated 3 years ago
- Public repository outlining the mission, vision and plans of the Urbit Foundation☆12Jun 20, 2022Updated 3 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- detecting the language for a small piece of unicode text☆23Aug 18, 2011Updated 14 years ago
- Hugo hello world project for the Complete Intro to Containers☆11Dec 4, 2022Updated 3 years ago
- A set of scripts to do nightly testing on Pantheon of the latest WordPress commits☆11Mar 8, 2022Updated 3 years ago