jappavoo / UndertheCoversLinks
Under the Covers -- Jupyter Text Book
☆15Updated 2 years ago
Alternatives and similar repositories for UndertheCovers
Users that are interested in UndertheCovers are comparing it to the libraries listed below
Sorting:
- ☆27Updated 3 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Updated 2 years ago
- ☆58Updated last year
- ☆12Updated last year
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- Experiment on how to bootstrap the OCaml compiler☆110Updated 3 years ago
- ☆18Updated 3 years ago
- The TLA⁺ Proof Manager☆100Updated this week
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆100Updated last month
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆18Updated last year
- OxCaml Parallelism☆33Updated last month
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 8 months ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- S-expression parsing and writing in Rust☆18Updated 2 years ago
- Verifying concurrent storage and distributed systems☆206Updated this week
- An SMT solver frontend for OCaml☆53Updated this week
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆75Updated 3 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- The LLVM tutorial using OCaml☆60Updated 5 years ago
- Archive for all Rocq and Coq-related opam packages organized in various repositories☆152Updated this week
- Preprocessor / Pretty Printer for OCaml☆76Updated 3 weeks ago
- CS 704 course website - Principles of Programming Languages☆69Updated 2 years ago
- Programming languages☆38Updated 7 months ago
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 4 months ago
- ☆27Updated 6 months ago
- Library of Raft consensus algorithm implemented in OCaml☆30Updated 2 years ago
- This repository contains an implementation of Nomos, a programming language for smart contracts based on resource-aware session types.☆23Updated 3 years ago
- A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.☆24Updated 3 years ago
- A deterministic parser with fused lexing☆73Updated 2 years ago