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:
- OxCaml Parallelism☆31Updated 3 months ago
- A Lean library for Computer Science☆116Updated this week
- Toy programming language☆20Updated last year
- The first ever roguelike written in the OCaml type system☆90Updated 5 months ago
- Reference compiler for c0☆37Updated 3 months ago
- A garden of small programming language implementations 🪴☆286Updated last week
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated this week
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆121Updated last year
- CIS 6700, Spring 2023☆18Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆80Updated 3 weeks ago
- Modify implementations for Pierce' Types and Programming Languages to add a REPL, convert into dune projects, and provide preconfigured d…☆58Updated 2 years ago
- Opam repository for the development version of Jane Street packages☆131Updated 3 weeks ago
- ☆119Updated last year
- Neovim client for coq-lsp☆27Updated 10 months ago
- Lock-free data structures for multicore OCaml☆253Updated 4 months ago
- Stdlib for the Rocq Prover☆25Updated last week
- Visual Studio Code Extension and Language Server Protocol for Rocq / Coq☆187Updated this week
- A deterministic parser with fused lexing☆74Updated 2 years ago
- Proof assistant based on the λΠ-calculus modulo rewriting☆350Updated 3 weeks ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 2 months ago
- Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintaine…☆80Updated 8 months ago
- Functional Programming in Lean☆110Updated last week
- ☆88Updated 5 months ago
- LaTeX code for a paper on lean's type theory☆147Updated 3 years ago
- Realtime grep for OCaml/Coq sources available on opam☆85Updated last year
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆55Updated 4 years ago
- A proof assistant for higher-dimensional type theory☆213Updated 3 weeks ago
- Solutions to OCaml Programming☆89Updated last month
- A tutorial on how Agda infers things☆61Updated 2 months ago
- A Deductive Verification Tool for OCaml Programs☆75Updated last month