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:
- My custom PCB business card☆63Updated 4 years ago
- The new CodeSpells, see codespells.org for details☆22Updated 4 years ago
- Documents pour le cours de maths MP2I 2022/2023☆21Updated 2 years ago
- The Corporate Bullshit Generator☆14Updated 2 months ago
- The GRAphical Scheme Programming Environment☆50Updated last month
- A neural network written in pure Lisp without built-in numbers☆42Updated 4 years ago
- PonyTown Client For Windows☆12Updated 9 years ago
- Closure web engine☆17Updated 3 years ago
- XKCD 3062☆22Updated 10 months ago
- Emacs major mode for Dyalog APL☆16Updated 2 years ago
- simple toy to showcase the persistence of vision phenomenon discussed in https://www.youtube.com/watch?v=TdTMeNXCnTs☆19Updated 4 months ago
- 📰😱‼️ A Racket implementation of Tabloid, the clickbait programming language!☆95Updated 5 years ago
- tiny experimental language for limited environments☆17Updated 2 years ago
- Award-Winning FRC Library by StuyPulse Team 694☆39Updated 3 weeks ago
- a better hash inverter for many people to use☆20Updated 6 years ago
- The source code for FiniteCurve.com☆50Updated 4 years ago
- simple command-line tool to send text and files to discord☆18Updated 2 years ago
- StumpWM Debugger☆11Updated 9 months ago
- Library of js programs and demos for quines in graph-rewriting systems (for now chemlambda and interaction combinators).☆22Updated 2 years ago
- A collection of small games made using SDL and C/++.☆27Updated 3 months ago
- Advanced Reverse Polish Notation entry program for the Ti-84+CE calculators☆40Updated last month
- A text-based command-line tool for testing other command-line tools.☆44Updated 4 months ago
- ☆27Updated this week
- Part management database written for the 2013 season.☆25Updated last year
- Lambda Calculus compiler targeting x86, written in Racket☆11Updated 5 years ago
- A native desktop app visualizing vector fields☆14Updated last year
- Racket Lang for Virtual Reality (Aframe)☆10Updated 5 years ago
- My Personal Website☆14Updated 2 months ago
- Desmos scripting language and successor to LISPsmos.☆113Updated 2 years ago
- Sound synthesis library for Common Lisp based on CLM-5☆12Updated 2 years ago