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:
- ☆12Updated 11 months ago
- ☆27Updated 4 months ago
- ☆58Updated last year
- ☆27Updated 3 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- The TLA⁺ Proof Manager☆83Updated last month
- A Python-like programming language for testing and experimenting with concurrent programs.☆26Updated last month
- 十分钟魔法练习 in OCaml☆33Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆12Updated 2 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆30Updated 2 weeks ago
- a Coq toolkit for graph theory☆13Updated 4 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- CS 496: Special Topics in Data Systems Seminar (Fall 2022)☆11Updated 2 years ago
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- All-in-one mirror utility for SJTUG mirror☆51Updated last year
- Statements of famous theorems proven in Coq [maintainer=@jmadiot]☆60Updated 2 months ago
- Term project for TaPL. A mini coq-like proof assistant.☆17Updated 7 years ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Updated last year
- Bytecode compiler of a variant of Caml☆34Updated 10 years ago
- Material for the class on verification of distributed and asynchronous systems, developed by Jon Howell and Manos Kapritsos☆11Updated 6 months ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆21Updated 3 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated last week
- Course website for Systems Verification Fall 2024☆12Updated last month
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Verifying concurrent crash-safe systems☆200Updated this week
- ☆27Updated last year
- Tiny theorem prover with syntax like Lean 4 in <1K LOC☆64Updated last month
- ☆23Updated 2 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆26Updated last week