jappavoo / UndertheCoversLinks
Under the Covers -- Jupyter Text Book
☆15Updated last year
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
- ☆58Updated last year
- ☆12Updated 10 months ago
- CS 496: Special Topics in Data Systems Seminar (Fall 2022)☆11Updated 2 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated 11 months ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Updated last year
- Resources for my Homotopy Type Theory course at OPLSS 2023☆12Updated 2 years ago
- The TLA⁺ Proof Manager☆81Updated 3 weeks ago
- S-expression parsing and writing in Rust☆18Updated 2 years ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆18Updated last year
- A Python-like programming language for testing and experimenting with concurrent programs.☆23Updated last week
- Official Course Site for CSc 305 Spring 2020☆7Updated 5 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆29Updated 5 months ago
- Systems for Data Science repo☆12Updated 7 years ago
- All-in-one mirror utility for SJTUG mirror☆51Updated last year
- A notebook on compilers, programming languages, and other topics.☆16Updated 4 months ago
- ☆18Updated 3 years ago
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- Distributed, Replicated, Protocol-generic Key-value Store in Async Rust For SMR Protocols Research☆13Updated last week
- A stepping debugger for Standard ML (SML)☆26Updated last year
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆63Updated 2 weeks ago
- OxCaml Parallelism☆30Updated last month
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 4 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆69Updated 3 years ago
- The runtime for the Verona project☆34Updated 2 weeks ago
- A linearizability checker for concurrent data structures☆12Updated last year
- Quantum circuits compiler with staging and continuations☆17Updated 7 months ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Updated 7 months ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago