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:
- CS1010 I/O Library☆11Updated 5 years ago
- 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
- Tricks you wish the Coq manual told you [maintainer=@tchajed]☆535Updated 7 months ago
- Chrome Extension that converts the University of Melbourne student timetable page into an iCal file☆19Updated 6 years ago
- LuminDER is a dating app for NUS students that takes on the familiar interface of LumiNUS and is a wordplay on Tinder.☆10Updated 5 years ago
- ☆234Updated last year
- An officially unofficial Orbital project that meets the intermediate (Gemini) achivement level, created in one day☆18Updated 9 years ago
- Visual Studio Code extension for Coq☆428Updated last month
- An Exchange Format for Verification Witnesses (MOVED, please follow the link)☆18Updated 3 years ago
- Website for the CS1010☆34Updated 5 years ago
- The Ott tool for writing definitions of programming languages and calculi☆398Updated last year
- Provide tips and corrections for C programs☆14Updated 7 years ago
- A delta debugger for SMT benchmarks in SMT-LIB v2.☆56Updated 6 months ago
- A web site for converting haskell code into pointfree haskell code☆165Updated 3 years ago
- Metaprogramming, verified meta-theory and implementation of Rocq in Rocq☆496Updated this week
- SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.☆265Updated this week
- ANTLR SMT-LIB v2 Grammar☆25Updated 4 years ago
- The Vellvm (Verified LLVM) coq development.☆453Updated this week
- Script to easily submit your body temperature to NUS's temperature declaration system☆17Updated 4 years ago
- Scripts to make life as an NUS student better and easier.☆41Updated 5 years ago
- Working on some solutions to http://www.cis.upenn.edu/~bcpierce/sf/☆15Updated 13 years ago
- Staged Abstract Interpreters☆69Updated 2 years ago
- Type checking ifdef variability☆79Updated 4 years ago
- An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.☆150Updated 3 months ago
- A Library for Representing Recursive and Impure Programs in Coq☆239Updated last month
- This repo is the new home of Proof General☆544Updated this week
- Communication between Coq and SAT/SMT solvers☆162Updated 3 weeks ago
- Program Synthesis Course☆264Updated last year
- PL/SE conference deadline countdowns☆19Updated 5 years ago