Bram-Hub / LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
☆34Updated 2 weeks ago
Alternatives and similar repositories for LEGUP
Users that are interested in LEGUP are comparing it to the libraries listed below
Sorting:
- Documents pour le cours de maths MP2I 2022/2023☆21Updated 2 years ago
- The real world in Minecraft☆19Updated last year
- A small fork of Loopy's excellent 6502 assembler☆16Updated 8 years ago
- Advanced Reverse Polish Notation entry program for the Ti-84+CE calculators☆34Updated last year
- It's like your dad's cowsay, but pink!☆10Updated 4 years ago
- A programming language that compiles to a TI-Basic program☆16Updated 3 years ago
- A JVM written in Rust.☆36Updated 6 months ago
- View your pronouns in Minecraft☆13Updated 2 years ago
- A tiny "network protocol" built for entertainment, and also to be lightweight enough for a lot of small usecases.☆14Updated 3 years ago
- Web wallet for Krist written in React☆12Updated 10 months ago
- Compiler Upside-Down Cake☆9Updated this week
- Minecraft4k was a Minecraft edition built by Notch for the Java 4k Contest, where Java programs with a size of 4kb or less could be sumbi…☆13Updated 4 years ago
- a reasonably fast syntax highlighter☆13Updated 4 years ago
- ☆22Updated 3 years ago
- ☆14Updated 8 years ago
- 🐥 Gallery viewer for https://github.com/cat-milk/Anime-Girls-Holding-Programming-Books☆9Updated last month
- Markov model implementation on sequence of bytes.☆18Updated 2 years ago
- Common operating system base with increased compatibility. Fork me hard, daddy!☆47Updated 5 years ago
- Collection of interpreters for esoteric programming languages☆14Updated 3 years ago
- Offline version of Desmos Graphing Calculator calling load and save APIs☆16Updated last year
- A collection of tools used to develop, test, and troubleshoot redstone circuits.☆11Updated last year
- AdaVenture is a kid-friendly retro point&click adventure game with mazes, beasts, bats, bugs & snakes. Windows, OSX & most Linux distros…☆16Updated 8 months ago
- ☆49Updated last year
- The definitive collection of interpreters, compilers, and programs for the Whitespace programming language.☆37Updated last month
- Tic-Tac-Toe in Fortran with Raylib☆58Updated last year
- A fungeoid language where bends in the chain determine the instructions☆12Updated 3 years ago
- An interpreter for C flat, a music-based programming language☆27Updated 4 years ago
- gpSP nspire port by calc84maniac☆15Updated 4 years ago
- A public API/scraper for images on gocomics.com☆9Updated 2 years ago
- A simulator for minecraft☆24Updated 8 years ago