alexanderwasey / stupid-computerLinks
A understandable Haskell tracer.
☆14Updated 3 years ago
Alternatives and similar repositories for stupid-computer
Users that are interested in stupid-computer are comparing it to the libraries listed below
Sorting:
- Welcome to Better Informatics. The student run website for students in the School of Informatics.☆72Updated this week
- ☆8Updated 7 years ago
- A microservice queue for holding open office hours☆86Updated 2 months ago
- a challenge for Haskell beginners☆457Updated last year
- Resources for the UQCS competitive programming group☆20Updated last year
- Pod-side and telemetry code for the University of Edinburgh Hyperloop Team 2023/24☆11Updated 11 months ago
- ☆23Updated 3 years ago
- run and encode simple register machine programs☆14Updated 3 years ago
- ☆233Updated 10 months ago
- ☆343Updated 7 years ago
- Proving leftpad correct two-dozen different ways☆677Updated 2 months ago
- ☆1,010Updated 2 years ago
- A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.☆512Updated 4 months ago
- The new version of the Scheduling API, now with prerequisites, course descriptions, and more!☆21Updated 4 years ago
- Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.☆64Updated last week
- Advanced tooling for puzzle hunts: grid/crossword parser, crossword tool to fill in the grid when entering answers, heavy-duty pattern/an…☆33Updated last year
- A LaTeX Typesetting Game☆252Updated 2 months ago
- UIUC API for various university services.☆26Updated 8 years ago
- ☆472Updated 3 years ago
- A better WebSOC for UCI☆46Updated 4 years ago
- Dashboard for managing puzzles and tracking status during a puzzle hunt☆33Updated last month
- First a COS 333 project, now a very popular tool at Princeton for course selection☆12Updated 5 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆296Updated last year
- ☆9Updated 5 years ago
- Inf2D Assignment 1 Pathfinding algorithms testing framework☆7Updated 6 years ago
- The VandyHacks Discord Bot.☆6Updated 3 years ago
- Domain-Specific Languages of Mathematics☆439Updated 3 months ago
- UQCSbot: Our friendly little Discord bot☆20Updated 2 months ago
- Official codebase for Bojangles - now with 100% more CSE☆9Updated 3 years ago
- A document language for the browser☆707Updated 11 months ago