dpiponi / quine-centralLinks
A quine generator
☆313Updated 6 years ago
Alternatives and similar repositories for quine-central
Users that are interested in quine-central are comparing it to the libraries listed below
Sorting:
- An interpreter for learning and exploring pure λ-calculus☆463Updated 4 years ago
- A repository for the Quest For Tetris☆183Updated 4 years ago
- A graph of programming languages connected through compilers.☆176Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A Brainfuck interpreter in RegEx only (using Find/Replace)☆138Updated 8 years ago
- Study of language design and implementation.☆66Updated 5 years ago
- keyboard layout that changes by markov frequency☆453Updated 6 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆139Updated 6 years ago
- A bare-bones Twitter clone implemented in a single file☆732Updated 8 months ago
- "C of Game of Life" is a higher-level language for use with the Game of Life processor.☆78Updated 6 years ago
- My personal repository of formally verified mathematics.☆307Updated last month
- A visual Haskell☆730Updated 3 years ago
- Fetches random solutions to a specified Advent of Code puzzle from GitHub and runs them against your input☆78Updated 6 years ago
- A quine that plays snake over its own source!☆921Updated 6 years ago
- A Pascal to LLVM compiler in Haskell☆124Updated 6 years ago
- A two-dimensional, hexagonal programming language.☆571Updated 4 years ago
- A demo web browser engine written in Haskell☆280Updated 6 years ago
- ☆345Updated 7 years ago
- GolfScript/CJam-inspired stack-based programming language that can be golfed or written literately*☆103Updated 3 years ago
- !!Con West 2019 talk☆353Updated 4 years ago
- GIF that always shows the current time in UTC☆494Updated 2 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆282Updated 11 years ago
- An esoteric programming language where programs are defined by the graph of commits in a Git repository.☆141Updated 6 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 6 years ago
- Here I share the code of my CV, which is also a bootable bootloader :)☆523Updated last month
- Optimal evaluator of λ-calculus terms.☆282Updated 2 years ago
- Esolang inspired by ASCII art☆1,146Updated last year
- Porn browser formally-verified in Coq☆51Updated 8 years ago
- A programming language based on a 2D Hilbert curve grid☆88Updated 3 years ago
- An infinite runner in your terminal☆102Updated 5 years ago