wdhg / reggieLinks
run and encode simple register machine programs
☆15Updated 4 years ago
Alternatives and similar repositories for reggie
Users that are interested in reggie are comparing it to the libraries listed below
Sorting:
- Tutorial Questions for the Programming II course at Imperial College London☆52Updated 2 years ago
- A wiki for collaborative work on totally legitimate "category theory"☆119Updated last year
- ☆233Updated last year
- A systems theorem prover☆11Updated last year
- A gamification of the theorems in MATH40002 Analysis 1☆82Updated 2 years ago
- A collection of templates and solutions for Competitive Programming in Haskell☆29Updated 3 years ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 2 weeks ago
- An interpreter for learning and exploring pure λ-calculus☆464Updated 4 years ago
- A LaTeX Typesetting Game☆255Updated 5 months ago
- This project converts structured Lean code into an interactive browser game.☆77Updated last year
- Interactive Coq Proofs in Vim☆300Updated 3 weeks ago
- A collection of tools for writing technical documents that mix Coq code and prose.☆267Updated last week
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 9 months ago
- A sudoku game where you have to prove that your deductions are valid☆116Updated 3 years ago
- CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…☆43Updated 2 years ago
- ☆328Updated 5 months ago
- Notes for the Lectures of Year 2 Computing 2021-22☆42Updated 2 years ago
- Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.☆299Updated last year
- Notes for first year Computing at Imperial College London☆53Updated 3 years ago
- a proof-of-concept programming language based on call-by-push-value☆54Updated last week
- A selection of textbook-like course notes for the Imperial College Computing modules.☆84Updated last year
- LaTeX source for Sized Dependent Types via Extensional Type Theory☆12Updated 2 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Lean Library currently studying for a degree at Imperial College☆227Updated 6 months ago
- ☆14Updated 4 years ago
- A toolkit for enforcing logical specifications on neural networks☆110Updated this week
- A course on homotopy theory and type theory, taught jointly with Jaka Smrekar☆305Updated last year
- This aims to be the most pretentious implementation of stlc in existence☆64Updated 3 years ago
- The Complex Number Game. Make the complex numbers in Lean.☆40Updated 2 years ago
- HoTTEST Summer School materials☆311Updated 2 months ago