paigenorth/oplss external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

paigenorth/oplss

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/paigenorth/oplss)

Close

paigenorth / oplssView on GitHubMore

• External links
• Readme badge

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

• logsem / melocoton

  View on GitHub
  ☆13Apr 28, 2025Updated 10 months ago
• mit-frap / spring20

  View on GitHub
  Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2020
  ☆19May 4, 2020Updated 5 years ago
• emeryberger / COMPSCI-630

  View on GitHub
  Public notes, etc. for CMPSCI 630, the UMass CS graduate systems course.
  ☆22Jun 5, 2023Updated 2 years ago
• ying-teaching / python

  View on GitHub
  Python notes
  ☆10Aug 13, 2022Updated 3 years ago
• uds-psl / MPCTT

  View on GitHub
  Modeling and Proving in Computational Type Theory
  ☆120Aug 6, 2025Updated 7 months ago
• vahidzee / dypy

  View on GitHub
  Toolkit for Dynamic Python code manipulations
  ☆11Oct 19, 2024Updated last year
• NHERI-SimCenter / SimCenterBootcamp2022

  View on GitHub
  ☆13Jul 22, 2022Updated 3 years ago
• Saffron-sh / m2m

  View on GitHub
  A minimal bash tool to convert video files to any other supported media files using yt-dlp and ffmpeg.
  ☆22Jan 11, 2026Updated last month
• ivanmurashko / lectures

  View on GitHub
  My own lectures on quantum optics and quantum computations (in Russian)
  ☆13Dec 10, 2024Updated last year
• jar3m / c_data_structures

  View on GitHub
  A generic data structures and algorithms library using C
  ☆12Nov 13, 2022Updated 3 years ago
• asfhiolNick / NTU_PhysicalDesign_201902

  View on GitHub
  張耀文老師的"奈米積體電路實體設計"作業(Physical Design)
  ☆11Jan 18, 2024Updated 2 years ago
• vijay03 / cs380d-f23

  View on GitHub
  CS 380D Distributed Systems at UT Austin with Vijay Chidambaram
  ☆12Oct 19, 2023Updated 2 years ago
• viperproject / VerifiedSCION

  View on GitHub
  Verifying the SCION architecture using Gobra
  ☆11Feb 28, 2026Updated last week
• loongson / binutils-gdb

  View on GitHub
  Unofficial mirror of sourceware binutils-gdb repository. Updated daily.
  ☆11Mar 21, 2023Updated 2 years ago
• angrave / CS341-Lectures-SP24

  View on GitHub
  CS341 for Spring 2024
  ☆11Jul 15, 2024Updated last year
• TUM-DSE / sys-lab

  View on GitHub
  Computer Systems Lab
  ☆11Oct 16, 2025Updated 4 months ago
• adasegroup / ML2023_lectures

  View on GitHub
  Repository containing lectures from 2023 Machine Learning course
  ☆11Mar 14, 2023Updated 2 years ago
• CIS1900 / 2022-fall

  View on GitHub
  ☆13Sep 5, 2024Updated last year
• ShichenLiu / C-compiler

  View on GitHub
  C to LLVM / Python compiler
  ☆10Jan 17, 2017Updated 9 years ago
• kayceesrk / cs6868_s26

  View on GitHub
  CS6868: Concurrent Programming
  ☆32Feb 26, 2026Updated last week
• eventhelix / open-lte

  View on GitHub
  An open source 3GPP LTE implementation. (GitHub import of https://sourceforge.net/projects/openlte/)
  ☆10Mar 7, 2017Updated 9 years ago
• sudox77 / httpx

  View on GitHub
  ☆22Oct 23, 2025Updated 4 months ago
• tchajed / protocol-verification-fa2023

  View on GitHub
  Assignments for COMP SCI 839 from UW-Madison in Fall 2023
  ☆12Nov 30, 2023Updated 2 years ago
• ajparsons / function-pipes

  View on GitHub
  Typed python equivalent for R pipes.
  ☆13Oct 16, 2022Updated 3 years ago
• inejge / await-syntax

  View on GitHub
  Illustration of Rust await syntax alternatives
  ☆13May 5, 2019Updated 6 years ago
• appleseedlab / maki

  View on GitHub
  A tool for analyzing syntactic and semantic properties of C Preprocessor macros in C programs
  ☆12Aug 27, 2025Updated 6 months ago
• johnwhitington / cpdflib-source

  View on GitHub
  ☆14Dec 31, 2025Updated 2 months ago
• rigetti / qcs-sdk-rust

  View on GitHub
  Rust SDK for Rigetti Quantum Cloud Services (QCS)
  ☆14Mar 2, 2026Updated last week
• ihsuy / Programming-Pearls

  View on GitHub
  My solutions to problems in Programming Pearls (Jon Bentley)
  ☆12Apr 16, 2020Updated 5 years ago
• gendx / ocaml-algebra

  View on GitHub
  An algebra system written in OCaml
  ☆10Sep 20, 2015Updated 10 years ago
• probcomp / ADEV.jl

  View on GitHub
  Experimental port of ADEV to Julia
  ☆11Nov 12, 2023Updated 2 years ago
• JadLevesque / Grail-pp

  View on GitHub
  The holy grail of preprocessor metaprogramming : (actually) turing complete macros
  ☆10Mar 11, 2022Updated 3 years ago
• cnrl / PymoNNtorch

  View on GitHub
  Pytorch-adapted version of PymoNNto
  ☆12Mar 2, 2025Updated last year
• sinhp / ProofLab

  View on GitHub
  ☆11May 14, 2023Updated 2 years ago
• AareyanManzoor / Adams-Blue-Book

  View on GitHub
  The TeX for Adams' blue book, by the group TeXromancers
  ☆13Sep 15, 2025Updated 5 months ago
• kaiyuanshe / 2023-China-Open-Source-Report

  View on GitHub
  2023 中国开源年度报告；2023 China Open Source Report
  ☆16May 10, 2024Updated last year
• abersheeran / clash-to-v2rayN

  View on GitHub
  转换 Clash 订阅格式到 v2rayN 订阅格式
  ☆11Oct 11, 2024Updated last year
• ImperialCollegeLondon / grad_school_git_course

  View on GitHub
  Using Git to Code, Collaborate and Share
  ☆14Oct 9, 2024Updated last year
• kayceesrk / cs3100_m25

  View on GitHub
  IITM Paradigms of Programming -- Monsoon 2025
  ☆18Nov 17, 2025Updated 3 months ago