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
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- ☆13Updated last year
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19Updated 5 years ago
- A Collection of Papers & Notes in Programming Language & Formal Verification☆17Updated 3 years ago
- CS341 for Spring 2024☆11Updated last year
- ☆28Updated 2 months ago
- Formally verified operator language and rewriting engine for high-performance computing☆30Updated last year
- Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023☆31Updated 2 years ago
- Resources for my Homotopy Type Theory course at OPLSS 2023☆13Updated 2 years ago
- ☆18Updated 4 years ago
- All-in-one mirror utility for SJTUG mirror☆51Updated 3 weeks ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Updated 11 months ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 3 years ago
- Books on programming language theory and linguistics in general.☆56Updated 4 years ago
- ☆58Updated last year
- Matita (proof assistant) with embedded elpi☆15Updated 8 years ago
- ☆38Updated last week
- ☆23Updated 2 years ago
- A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.☆18Updated 5 months ago
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Updated 2 years ago
- Stacks project, from a homotopy type theory point-of-view (hPOV)☆14Updated 5 years ago
- A Python-like programming language for testing and experimenting with concurrent programs.☆32Updated 3 months ago
- A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]☆22Updated 4 years ago
- An algebra system written in OCaml☆10Updated 10 years ago
- This is the Python implementation of DistAlgo, a language for distributed algorithms.☆92Updated 5 months ago
- Companion Coq development for Xavier Leroy's 2021 lectures on program logics☆40Updated 4 years ago
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆32Updated 3 weeks ago