Bram-Hub / LEGUP
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
☆34Updated this week
Alternatives and similar repositories for LEGUP:
Users that are interested in LEGUP are comparing it to the libraries listed below
- A number guessing game with a p-adic twist.☆9Updated last year
- Documents pour le cours de maths MP2I 2022/2023☆21Updated last year
- Second revision of my Kitteh language. Now comes with a compiler to x86.☆16Updated last year
- A simple stack based code golf language☆23Updated 2 years ago
- Implementation of Gosper's hashlife algorithm☆38Updated 4 months ago
- My project for the Wolfram Summer Camp 2019☆14Updated 5 years ago
- Binary Lambda Calculus evaluation engine written in Malbolge.☆17Updated 2 years ago
- A minimal setup required script to improve AoPS☆9Updated 9 months ago
- An application to train your brain.☆13Updated 3 months ago
- An Autonomous Selector Made using LVGL for VEX + PROS☆33Updated last year
- A JVM written in Rust.☆35Updated 3 months ago
- REV Hub Interface software - community-continued version☆28Updated last month
- This is the source code for TryAPL.org☆24Updated 2 weeks ago
- a reasonably fast syntax highlighter☆13Updated 3 years ago
- ☆69Updated 9 years ago
- It's like your dad's cowsay, but pink!☆10Updated 4 years ago
- Definition for the grep challenge.☆13Updated this week
- Collection of interpreters for esoteric programming languages☆12Updated 3 years ago
- Advanced Reverse Polish Notation entry program for the Ti-84+CE calculators☆33Updated last year
- OTIS course management system☆41Updated 2 weeks ago
- What happens when you cross corewars with brainfuck with genetic algorithms? Elephino.☆6Updated 12 years ago
- a better hash inverter for many people to use☆20Updated 5 years ago
- General purpose FTC library☆16Updated 2 years ago
- The Purple VM, a custom JVM in C++.☆14Updated 10 months ago
- Modern x86_64 UEFI bootloader☆12Updated 3 years ago
- ☆15Updated 3 months ago
- The Kipper programming language for Browsers and Node.js 🦊✨ Made at HTL Leonding & JKU Linz☆26Updated this week
- Award-Winning FRC Library by StuyPulse Team 694☆35Updated 2 weeks ago
- GitHub repo backing Programming Language Ranking website ⬇️☆31Updated last week