jappavoo / UndertheCovers
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
- ☆27Updated last month
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆28Updated last month
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆17Updated last year
- Quantum circuits compiler with staging and continuations☆16Updated 4 months ago
- A parallel programming model for online applications with complex synchronization requirements.☆15Updated 2 years ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 3 years ago
- An implementation of the Chord lookup protocol verified in Coq using the Verdi framework☆10Updated 6 years ago
- All-in-one mirror utility for SJTUG mirror☆51Updated 8 months ago
- ☆12Updated 6 months ago
- DaisyNFS is an NFS server verified using Dafny and Perennial.☆36Updated 5 months ago
- Streaming client for OCaml's Memprof☆68Updated 6 months ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆10Updated last year
- Dependently typed lambda calculus - A Simple Proof Assistant☆12Updated 4 years ago
- An ebpf knowledge base, based on llama_index and bpf-developer-tutorial☆10Updated 2 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆22Updated 2 months ago
- Parallel ML compiler☆72Updated 4 years ago
- Grab-bag library for the MPL compiler (https://github.com/mpllang/mpl)☆20Updated last month
- Formally verified operator language and rewriting engine for high-performance computing☆24Updated 9 months ago
- The Cubicle model checker☆13Updated last year
- Solutions to math olympiad problems in Isabelle/HOL☆11Updated 3 years ago
- CS 496: Special Topics in Data Systems Seminar (Fall 2022)☆10Updated 2 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆21Updated this week
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 2 years ago
- For hosting certain parts of http://www.ats-lang.org☆27Updated 2 years ago
- type-system, revised unification algorithm and runtime time representations☆14Updated 5 years ago
- ☆22Updated last year
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆32Updated 2 months ago
- Exercism exercises in Standard ML.☆28Updated 3 weeks ago
- The TLA⁺ Proof Manager☆73Updated this week
- embedding MLIR in LEAN☆47Updated 9 months ago