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 that I've taken over my Computer Systems and Software course at The University of Melbourne☆142Updated 5 years ago
- Visual Studio Code extension for Coq☆407Updated 2 weeks ago
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆529Updated 3 months ago
- ☆233Updated last year
- Notes and guides provided in the workshop☆24Updated 4 years ago
- The Ott tool for writing definitions of programming languages and calculi☆384Updated 8 months ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆467Updated last week
- Program Synthesis Course☆262Updated last year
- The Happy parser generator for Haskell☆312Updated last month
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆397Updated this week
- Randomized Property-Based Testing Plugin for Coq☆269Updated 2 weeks ago
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- Convert Haskell source code to Coq source code☆280Updated 4 years ago
- Scraper for the UoM results page which detects transcript updates and notifies the user.☆58Updated 3 years ago
- The Vellvm (Verified LLVM) coq development.☆441Updated last week
- Spletna storitev za generiranje nalog☆18Updated 2 years ago
- Lecture Note for COMP30023 Computer System at The University of Melbourne☆18Updated 5 years ago
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 9 years ago
- A curated list of awesome Coq frameworks, libraries and software.☆234Updated 3 weeks ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆350Updated 3 weeks ago
- A function definition package for Coq☆233Updated last week
- An interpreter for learning and exploring pure λ-calculus☆466Updated 4 years ago
- HoTTEST Summer School materials☆311Updated 3 months ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆218Updated 2 months ago
- Verified Software Toolchain☆471Updated this week
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated last month
- Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations☆383Updated last year
- A curated set of links to formal methods involving provable code.☆213Updated 3 years ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 2 years ago
- This repo is the new home of Proof General☆537Updated last week