paigenorth / oplssView external linksLinks
Resources for my Homotopy Type Theory course at OPLSS 2023
☆13Jul 11, 2023Updated 2 years ago
Alternatives and similar repositories for oplss
Users that are interested in oplss are comparing it to the libraries listed below
Sorting:
- ☆13Apr 28, 2025Updated 9 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020☆19May 4, 2020Updated 5 years ago
- Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.☆22Jun 5, 2023Updated 2 years ago
- Python notes☆10Aug 13, 2022Updated 3 years ago
- Modeling and Proving in Computational Type Theory☆120Aug 6, 2025Updated 6 months ago
- A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.☆24Jan 11, 2026Updated last month
- ☆13Jul 22, 2022Updated 3 years ago
- Toolkit for Dynamic Python code manipulations☆11Oct 19, 2024Updated last year
- CS 380D Distributed Systems at UT Austin with Vijay Chidambaram☆12Oct 19, 2023Updated 2 years ago
- Verifying the SCION architecture using Gobra☆11Updated this week
- Computer Systems Lab☆11Oct 16, 2025Updated 4 months ago
- My own lectures on quantum optics and quantum computations (in Russian)☆13Dec 10, 2024Updated last year
- A generic data structures and algorithms library using C☆12Nov 13, 2022Updated 3 years ago
- C to LLVM / Python compiler☆10Jan 17, 2017Updated 9 years ago
- An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)☆10Mar 7, 2017Updated 8 years ago
- Unofficial mirror of sourceware binutils-gdb repository. Updated daily.☆11Mar 21, 2023Updated 2 years ago
- Repository containing lectures from 2023 Machine Learning course☆11Mar 14, 2023Updated 2 years ago
- 張耀文老師的"奈米積體電路實體設計"作業(Physical Design)☆10Jan 18, 2024Updated 2 years ago
- CS341 for Spring 2024☆11Jul 15, 2024Updated last year
- ☆13Sep 5, 2024Updated last year
- CS6868: Concurrent Programming☆29Updated this week
- 2023 中国开源年度报告；2023 China Open Source Report☆16May 10, 2024Updated last year
- Foundations of Computer Science notebooks☆17Oct 13, 2025Updated 4 months ago
- ☆11May 14, 2023Updated 2 years ago
- Exámenes de programación funcional con Haskell☆10Jun 18, 2023Updated 2 years ago
- Talk on folds & unfolds (and combinations) for general algebraic data types☆12Aug 6, 2013Updated 12 years ago
- Cpp Course☆12Dec 5, 2025Updated 2 months ago
- An MCP server that enables searching for Rust crates and their documentation from crates.io and docs.rs.☆21Jul 31, 2025Updated 6 months ago
- Pytorch-adapted version of PymoNNto☆12Mar 2, 2025Updated 11 months ago
- yaml2xls, a library and tools for converting between yaml files and MS excel, part of the Juniper NITA solution☆12Jul 30, 2025Updated 6 months ago
- Mechanized baselines for various type system features☆18Dec 6, 2025Updated 2 months ago
- Claude Code Development Environment with Specialized Assistants☆20Sep 1, 2025Updated 5 months ago
- Illustration of Rust await syntax alternatives☆13May 5, 2019Updated 6 years ago
- Repository for a TensorFlow class I taught at Caltech.☆14Jan 9, 2020Updated 6 years ago
- Rust feature support from https://caniuse.rs as an Alfred workflow.☆13Updated this week
- Algorithms that work on generic C arrays☆11Feb 13, 2017Updated 9 years ago
- An algebra system written in OCaml☆10Sep 20, 2015Updated 10 years ago
- 转换 Clash 订阅格式到 v2rayN 订阅格式☆11Oct 11, 2024Updated last year
- "fast" sqlite to parquet and csv converter☆30Nov 5, 2025Updated 3 months ago