johnyob / University-Notes
A complete collection of my undergraduate notes
☆29Updated 2 years ago
Related projects: ⓘ
- Toy programming language☆18Updated 4 months ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆36Updated last week
- ☆12Updated last year
- ☆48Updated last year
- NES emulator in OCaml☆37Updated last year
- Dromedary is an experimental subset of OCaml, using constraint-based type inference!☆45Updated 4 months ago
- OCaml hacking ideas, small and large.☆19Updated 5 months ago
- ☆38Updated 2 years ago
- A fancy diagnostics library that allows your compilers to exit with grace☆72Updated 3 months ago
- Convert OCaml Types between different major versions☆14Updated 2 years ago
- Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)☆104Updated 2 months ago
- OCaml plus Jane Street extensions☆73Updated 2 months ago
- Tornado is a BitTorrent client written entirely in OCaml.☆56Updated 7 months ago
- Pure OCaml bindings to the Discord API. Mirror of Gitlab repo.☆44Updated 3 years ago
- ☆33Updated this week
- Solutions to OCaml Programming☆69Updated last month
- Realtime grep for OCaml/Coq sources available on opam☆78Updated 2 weeks ago
- Template for an ocaml project with modern tooling☆67Updated last month
- A programming language, aka a THING☆11Updated 3 years ago
- A template repo demonstrating OCaml tooling and testing☆17Updated 4 years ago
- Documentation of the OCaml implementation☆53Updated last year
- Initially an Algorithmic Diffrentiation Library. Now has been extended to a Probabilistic Programming Library☆24Updated 2 years ago
- A project which aim to help engineers to make proves easily☆14Updated 2 years ago
- A very small implementation of the Calculus of Constructions for experimentation purposes☆13Updated 6 years ago
- 🧮 | Writing an Equation Solver☆31Updated last year
- CS3100: Paradigms of Programming at CSE IITM (Monsoon 2020)☆42Updated 2 weeks ago
- A "implementation" of Girard's paradox in OCaml☆104Updated 9 years ago
- ☆16Updated this week
- ☆26Updated 3 years ago
- OCaml code for Compiler Construction course at University of Cambridge☆42Updated 3 years ago