algorithms-are-fun / amoffat-fan-pageLinks
Alistair Moffat fan page
☆16Updated 3 years ago
Alternatives and similar repositories for amoffat-fan-page
Users that are interested in amoffat-fan-page are comparing it to the libraries listed below
Sorting:
- Notes and guides provided in the workshop☆24Updated 4 years ago
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆59Updated 4 years ago
- Chrome Extension that converts the University of Melbourne student timetable page into an iCal file☆19Updated 6 years ago
- Visual Studio Code extension for Coq☆424Updated last week
- Lecture Note for COMP30023 Computer System at The University of Melbourne☆18Updated 5 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 6 months ago
- ☆234Updated last year
- run and encode simple register machine programs☆15Updated 4 years ago
- Unofficial Client for Piazza's Internal API☆206Updated 4 months ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Program Synthesis Course☆264Updated last year
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆490Updated last week
- The Happy parser generator for Haskell☆313Updated 4 months ago
- K Framework Tools 7.0☆541Updated this week
- The Ott tool for writing definitions of programming languages and calculi☆398Updated 11 months ago
- A curated set of links to formal methods involving provable code.☆216Updated 4 years ago
- The Vellvm (Verified LLVM) coq development.☆450Updated this week
- A Library for Representing Recursive and Impure Programs in Coq☆238Updated last month
- An experimental library for Cubical Agda☆520Updated 3 weeks ago
- HoTTEST Summer School materials☆318Updated 6 months ago
- Interactive Coq Proofs in Vim☆310Updated 2 weeks ago
- A function definition package for Coq☆234Updated this week
- Lecture notes on univalent foundations of mathematics with Agda☆231Updated last month
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆264Updated this week
- Tutorial Questions for the Programming II course at Imperial College London☆53Updated 2 years ago
- An interpreter for learning and exploring pure λ-calculus☆463Updated 4 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆409Updated last week
- Elsa is a lambda calculus evaluator☆191Updated 2 months ago
- agda-mode on VS Code☆181Updated last week
- CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course☆28Updated 4 years ago