Bram-Hub / LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
☆34Updated last week
Alternatives and similar repositories for LEGUP:
Users that are interested in LEGUP are comparing it to the libraries listed below
- FIRST Machine Learning Toolchain☆39Updated 11 months ago
- Second revision of my Kitteh language. Now comes with a compiler to x86.☆16Updated last year
- Implementation of Gosper's hashlife algorithm☆38Updated 5 months ago
- A simulator for minecraft☆24Updated 8 years ago
- A small fork of Loopy's excellent 6502 assembler☆16Updated 8 years ago
- An infinite-world block adventure game. Inspired by InfiniMiner/Minecraft.☆16Updated last year
- A procedurally generated space exploration game for the Minetest voxel game engine☆22Updated 11 months ago
- Simple Parallel XKCD indexer☆11Updated 4 years ago
- A collection of tools used to develop, test, and troubleshoot redstone circuits.☆11Updated last year
- a barebones bootable platform to run the frotz z-code interpreter inside a VM☆17Updated 8 years ago
- Web framework written entirely in Bash | Mirror of https://git.sakamoto.pl/laudom/http.sh☆23Updated last week
- A language for generating words in constructed languages☆19Updated 2 years ago
- ☆10Updated last year
- A collection of summaries I wrote for my courses☆13Updated 8 months ago
- Minecraft mod that adds glass stairs and glass slabs. They look great in any build and connect seamlessly with vanilla glass blocks.☆17Updated last week
- A minimal setup required script to improve AoPS☆9Updated 11 months ago
- a lively GUI for Python based on PyGame☆26Updated 3 years ago
- What happens when you cross corewars with brainfuck with genetic algorithms? Elephino.☆6Updated 12 years ago
- The psychedelic tunnel-runner☆11Updated 9 months ago
- ☆48Updated last year
- A repository holding all the data used on QuACS.org☆20Updated this week
- A program exploit to draw a perfect circle in the game "Perfect Circle". For MacOS.☆23Updated last year
- A website that can send files to your calculator through WebUSB and ticalc-usb☆38Updated 2 years ago
- Binary lambda calculus☆10Updated 7 years ago
- A LISP-y language that compiles to Desmos expressions.