rjrudman / penpa-edit
Forked from https://github.com/opt-pan/penpa-edit to provide English translations
☆13Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for penpa-edit
- Web application to create and solve Sudokus and Puzzles☆110Updated 2 months ago
- My advent of code solutions - https://adventofcode.com☆21Updated 10 months ago
- Advanced tooling for puzzle hunts: grid/crossword parser, crossword tool to fill in the grid when entering answers, heavy-duty pattern/an…☆29Updated 6 months ago
- Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler☆96Updated 9 years ago
- Noether programming language☆126Updated 7 years ago
- A basic OCaml project with unit tests☆66Updated 5 years ago
- File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/☆223Updated 2 weeks ago
- Relay script for KoLmafia, for the web game Kingdom of Loathing. Gives advice on how to play.☆29Updated 9 months ago
- Propositional logic in terms of if-then-else☆15Updated 7 years ago
- kev009 development repo. Canonical repo @ craftd/craftd (see project URL)☆75Updated 13 years ago
- My personal notes on various computer languages☆221Updated 4 years ago
- Whalesong: Racket to JavaScript compiler☆250Updated 7 years ago
- An adventure game written in polar☆13Updated 3 years ago
- Parse any language you can describe in BNF☆157Updated last year
- Haskell to Javascript compiler (via GHC)☆20Updated 4 years ago
- The Mythryl programming language☆117Updated 8 years ago
- ☆293Updated last year
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- This is an attempt to create a helper tool for Tool Assisted Speedruns in Factorio. A guide of how to use the tool can be found here: htt…☆13Updated 2 months ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 10 years ago
- Yes, really...☆172Updated 7 years ago
- An OCaml/Mirage-friendly implementation of the 9P protocol☆64Updated 2 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆158Updated 5 years ago
- 3-dimensional picts☆114Updated last year
- A PEG that compiles itself.☆73Updated 14 years ago
- Examples of literate programming by Knuth☆35Updated 5 months ago
- A fully-featured lisp/scheme shell written in Racket.☆122Updated 3 years ago
- S-expression source translation and macro expansion utility☆82Updated 14 years ago
- A C interpreter for Paul Graham's Arc dialect of Lisp☆27Updated 10 months ago