algorithms-are-fun / amoffat-fan-page
Alistair Moffat fan page
☆16Updated 2 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
- Notes and guides provided in the workshop☆24Updated 3 years ago
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆59Updated 3 years ago
- Creates timetables for students at the University of Melbourne☆3Updated 2 years ago
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆131Updated 4 years ago
- Lecture Note for COMP30023 Computer System at The University of Melbourne☆18Updated 4 years ago
- A semester planner for students at The University of Melbourne.☆29Updated 2 years ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆515Updated last month
- ☆229Updated 8 months ago
- A web site for converting haskell code into pointfree haskell code☆162Updated 2 years ago
- HoTTEST Summer School materials☆297Updated last year
- ☆18Updated 7 years ago
- The Happy parser generator for Haskell☆301Updated last month
- Interactive Coq Proofs in Vim☆289Updated this week
- Spletna storitev za generiranje nalog☆18Updated 2 years ago
- agda-mode for neovim☆148Updated this week
- Visual Studio Code extension for Coq☆370Updated 3 weeks ago
- The Eldarica model checker☆83Updated last week
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆431Updated this week
- A lexical analyser generator for Haskell☆306Updated 2 weeks ago
- The symbolic execution engine powering the K Framework☆216Updated last week
- Trying to write an understandable implementation of Haskell, in Haskell☆124Updated 4 years ago
- formally verified category theory library☆262Updated 4 years ago
- Checker for "morally correct" induction proofs about haskell programs☆9Updated 3 years ago
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆366Updated this week
- A function definition package for Coq☆227Updated last week
- Lem semantic definition language☆138Updated 2 weeks ago
- CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory☆225Updated 3 weeks ago
- An experimental library for Cubical Agda☆475Updated last week
- Elsa is a lambda calculus evaluator☆185Updated this week
- A library of mechanised undecidability proofs in the Coq proof assistant.☆115Updated last month