johnyob / University-NotesLinks
A complete collection of my undergraduate notes
☆34Updated 2 years ago
Alternatives and similar repositories for University-Notes
Users that are interested in University-Notes are comparing it to the libraries listed below
Sorting:
- ☆85Updated last month
- A stepping debugger for Standard ML (SML)☆27Updated last year
- Toy programming language☆19Updated last year
- Reference compiler for c0☆36Updated last week
- A fancy diagnostics library that allows your compilers to exit with grace☆74Updated last month
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last week
- The Flambda backend project for OCaml☆146Updated this week
- Solutions to OCaml Programming☆82Updated 2 weeks ago
- The first ever roguelike written in the OCaml type system☆88Updated 2 months ago
- A proof assistant for higher-dimensional type theory☆195Updated last week
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆48Updated 7 months ago
- Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction☆87Updated 2 weeks ago
- LaTeX code for a paper on lean's type theory☆134Updated 2 years ago
- Realtime grep for OCaml/Coq sources available on opam☆82Updated 9 months ago
- ☆119Updated last year
- Coq development for the course "Mechanized semantics", Collège de France, 2019-2020☆66Updated last year
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆170Updated last week
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆75Updated 4 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆23Updated 3 weeks ago
- ☆12Updated 2 years ago
- Selected Papers of Dana S. Scott☆162Updated 11 months ago
- A work-in-progress core language for Agda, in Agda☆52Updated last month
- A very small implementation of the Calculus of Constructions for experimentation purposes☆15Updated 6 years ago
- High level commands to declare a hierarchy based on packed classes☆99Updated this week
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆142Updated last week
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated last year
- Contextual types meet mechanized metatheory!☆189Updated 2 weeks ago
- Competitive programming utilities in Haskell☆30Updated 5 months ago
- A "implementation" of Girard's paradox in OCaml☆108Updated 10 years ago