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 last year
- ☆58Updated last year
- ☆27Updated 3 years ago
- ☆18Updated 3 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 8 months ago
- S-expression parsing and writing in Rust☆18Updated 2 years ago
- OCaml reading group at IIT Madras☆22Updated 2 weeks ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- 十分钟魔法练习 in OCaml☆34Updated 3 years ago
- Library of Raft consensus algorithm implemented in OCaml☆30Updated 2 years ago
- Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@…☆25Updated last month
- Resources for my Homotopy Type Theory course at OPLSS 2023☆12Updated 2 years ago
- Algebraic structures in OCaml.☆25Updated 6 months ago
- OCaml bindings for RE2☆48Updated last month
- A notebook on compilers, programming languages, and other topics.☆16Updated 6 months ago
- An experimental OCaml-to-C compiler for type-safe accesss to SIMD (unreleased)☆18Updated last year
- OCaml code for Compiler Construction course at University of Cambridge☆43Updated 4 years ago
- Probabilistic separation logics for verifying higher-order probabilistic programs.☆27Updated this week
- Books on programming language theory and linguistics in general.☆54Updated 4 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated last month
- Ocaml code from Writing an Interpreter in Go☆10Updated 6 years ago
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- OCaml Algorithmic Trading☆24Updated this week
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆29Updated 2 years ago
- IITM Paradigms of Programming -- Monsoon 2025☆17Updated last week
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆32Updated last month
- Coq library for tactics, basic definitions, sets, maps☆49Updated 2 weeks ago