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
- ☆58Updated last year
- ☆13Updated last year
- 十分钟魔法练习 in OCaml☆36Updated 3 years ago
- ☆18Updated 4 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☆13Updated 2 years ago
- ☆28Updated 2 months ago
- ☆23Updated 2 years ago
- Notes for Advanced Topics in Foundations of Programming Languages (Spring 2024)☆18Updated last year
- Introduction to homotopy type theory (reading course), LP2 2023, offered via DAT235/DIT577: Research-oriented course in Computer Science …☆14Updated last year
- Just for fun riscv64 emulator, which boots the Linux.☆41Updated 3 years ago
- How to make a new language(and why we shouldn't?)☆40Updated 2 years ago
- a minimal lisp interpreter written in ruby☆11Updated 4 years ago
- Programming languages☆41Updated 2 weeks ago
- S-expression parsing and writing in Rust☆18Updated 2 years ago
- Books on programming language theory and linguistics in general.☆56Updated 4 years ago
- SICP Online Judge, consisting of a server, a react web interface and a modified Ok client.☆12Updated 3 years ago
- 🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"☆20Updated 3 years ago
- Prooftrees for Typst - Inspired by Latex's bussproofs☆20Updated last year
- 💻 A 5-stage pipeline MIPS CPU design in Haskell.☆36Updated 5 years ago
- Python3 auto-active verification library (migrated to an Intel project)☆25Updated 3 years ago
- Course website for Advanced Operating Systems☆13Updated 3 years ago
- CS 496: Special Topics in Data Systems Seminar (Fall 2022)☆11Updated 3 years ago
- CS 704 course website - Principles of Programming Languages☆69Updated 3 years ago
- RTL blocks compatible with the Rocket Chip Generator☆17Updated 10 months ago
- Class notes☆46Updated 2 months ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- (WIP) A relatively simple pipelined RISC-V core, written in Bluespec SystemVerilog☆12Updated 4 years ago
- CS341 for Spring 2024☆11Updated last year