johnyob / University-NotesLinks
A complete collection of my undergraduate notes
☆34Updated 3 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:
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last month
- OxCaml Parallelism☆31Updated last month
- Toy programming language☆19Updated last year
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆183Updated this week
- The first ever roguelike written in the OCaml type system☆88Updated 4 months ago
- Logic and Mechanized Reasoning☆105Updated 3 weeks ago
- A garden of small programming language implementations 🪴☆276Updated this week
- Arthur's Formal Metatheory in Coq☆18Updated last year
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- ☆12Updated 2 years ago
- A Lean library for Computer Science☆46Updated this week
- my studies through functional implementations of common data-structures☆9Updated 3 years ago
- A tutorial on how Agda infers things☆60Updated last month
- CIS 6700, Spring 2023☆18Updated 2 years ago
- PL conference deadline countdowns☆61Updated 3 weeks ago
- Combinatorial game library in Lean 4☆40Updated this week
- 🧮 | Writing an Equation Solver☆34Updated 2 years ago
- LaTeX code for a paper on lean's type theory☆141Updated 3 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- Stdlib for the Rocq Prover☆25Updated last week
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- Neovim client for coq-lsp☆27Updated 9 months ago
- We combat sloppy arguments in competitive programming and raise the standard of rigor☆26Updated 2 weeks ago
- A fancy diagnostics library that allows your compilers to exit with grace☆76Updated 3 months ago
- The Waterproof plugin for the Coq proof assistant allows you to write Coq proofs in a style that resembles handwritten mathematical proof…☆43Updated last week
- Hitchhiker's Guide to Logical Verification (2023 Edition)☆110Updated last year
- ☆86Updated 3 months ago
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆64Updated this week
- high-performance cubical evaluation☆74Updated 3 months ago
- ☆119Updated last year