Bram-Hub / LEGUPLinks
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
☆36Updated last week
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
- Bot Discord du serveur Prépas MP2I☆11Updated 9 months ago
- A number guessing game with a p-adic twist.☆12Updated 2 years ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Updated 5 years ago
- Spectrum's 2023 Competition Software☆11Updated 2 years ago
- Binary lambda calculus☆10Updated 8 years ago
- a better hash inverter for many people to use☆20Updated 6 years ago
- My custom PCB business card☆63Updated 4 years ago
- Synthesizable Uxn CPU☆17Updated 3 years ago
- Award-Winning FRC Library by StuyPulse Team 694☆39Updated 3 weeks ago
- A simple stack based code golf language☆26Updated 3 years ago
- champagne☆32Updated 2 years ago
- An Autonomous Selector Made using LVGL for VEX + PROS☆33Updated 2 years ago
- Electra is an esolang where you code like an electrician.☆99Updated 2 months ago
- AprilTag is a visual fiducial system popular for robotics research.☆12Updated last year
- PonyTown Client For Windows☆12Updated 9 years ago
- Can you write a shorter Javascript version of Conway's game of life?☆16Updated 5 years ago
- WebAssembly implementation of the Uxn virtual machine☆52Updated last year
- A collection of algorithms to reverse using partial information various hashes used by Minecraft to seed its ChunkRandom PRNG.☆10Updated last year
- A 2-D programming language inspired by Hexagony☆25Updated 2 weeks ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- CUDA program to find the tallest possible cacti in Minecraft.☆28Updated 5 years ago
- A tail call optimizing LISP interpreter that runs on BrainFuck☆22Updated 7 years ago
- A programmable virtual CPU written in untyped lambda calculus☆61Updated 3 years ago
- Calculating the sum from one to a billion in different programming languages, inspired by https://github.com/leachim6/hello-world☆30Updated 3 months ago
- A website that can send files to your calculator through WebUSB and ticalc-usb☆45Updated 2 years ago
- Reverse Engineering various FRC things☆22Updated 3 months ago
- Binary Lambda Calculus Virtual Machine☆58Updated 2 years ago
- StumpWM Debugger☆11Updated 9 months ago
- The new CodeSpells, see codespells.org for details☆22Updated 4 years ago