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
- Notes that I've taken over my Computer Systems and Software course at The University of Melbourne☆145Updated 5 years ago
- ⬇️ Automatically download your lectures from the Unimelb LMS ⬇️☆14Updated 8 years ago
- ☆234Updated last year
- The Vellvm (Verified LLVM) coq development.☆448Updated this week
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆534Updated 6 months ago
- The Ott tool for writing definitions of programming languages and calculi☆394Updated 11 months ago
- A timetable generator for The University of Melbourne☆17Updated 6 years ago
- Chrome Extension that converts the University of Melbourne student timetable page into an iCal file☆19Updated 6 years ago
- A Library for Representing Recursive and Impure Programs in Coq☆236Updated last week
- Dafny 2 for Visual Studio Code (Legacy)☆21Updated 2 years ago
- An interpreter for learning and exploring pure λ-calculus☆463Updated 4 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- Visual Studio Code extension for Coq☆417Updated this week
- A gently curated list of companies using verification formal methods in industry☆579Updated last month
- Convert Haskell source code to Coq source code☆282Updated 5 years ago
- Randomized Property-Based Testing Plugin for Coq☆276Updated this week
- Program Synthesis Course☆265Updated last year
- Communication between Coq and SAT/SMT solvers☆160Updated last week
- The Happy parser generator for Haskell☆313Updated 3 months ago
- agda-mode on VS Code☆181Updated 2 weeks ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- Beginning of formal language theory☆23Updated 5 years ago
- HoTTEST Summer School materials☆317Updated 5 months ago
- CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory☆231Updated last week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆403Updated 3 weeks ago
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 9 years ago
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆262Updated last week
- A function definition package for Coq☆234Updated last week
- A curated set of links to formal methods involving provable code.☆215Updated 3 years ago