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:
- Neovim client for coq-lsp☆30Updated 4 months ago
- OxCaml Parallelism☆37Updated 3 weeks ago
- The Lean Computer Science Library (CSLib)☆261Updated last week
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- ☆234Updated last year
- Toy programming language☆20Updated last year
- ☆120Updated 2 years ago
- CIS 6700, Spring 2023☆18Updated 2 years ago
- Opam repository for the development version of Jane Street packages☆133Updated 3 weeks ago
- Stdlib for the Rocq Prover☆31Updated this week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]☆196Updated this week
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆49Updated 4 months ago
- ☆94Updated 9 months ago
- A deterministic parser with fused lexing☆75Updated 2 years ago
- Solutions to OCaml Programming☆93Updated last month
- A garden of small programming language implementations 🪴☆310Updated last week
- Arthur's Formal Metatheory in Coq☆18Updated last year
- 🧮 | Writing an Equation Solver☆34Updated 2 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆370Updated this week
- A fancy diagnostics library that allows your compilers to exit with grace☆87Updated last month
- A tutorial on how Agda infers things☆63Updated 6 months ago
- Logic and Mechanized Reasoning☆115Updated 3 weeks ago
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆228Updated 3 months ago
- Selected Papers of Dana S. Scott☆171Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆61Updated 2 months ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆68Updated 2 years ago
- A proof assistant for higher-dimensional type theory☆234Updated last week
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆54Updated 4 years ago
- HoTTEST Summer School materials☆322Updated 8 months ago
- PhD course on Functional Programming and Climate Impact Research☆51Updated 5 months ago