Alternatives and similar repositories for compSys-e2020-pub

Users that are interested in compSys-e2020-pub are comparing it to the libraries listed below

• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 4 years ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 3 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated last week
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆171Updated 3 weeks ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated last year
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆142Updated last year
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated last year
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated last year
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated 2 years ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated 4 months ago
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆547Updated last week
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆15Updated 11 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆311Updated 2 years ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆269Updated last year
• diku-dk / ap-e2025-pub
  Public repository for Advanced Programming
  ☆60Updated 3 months ago
• agda / agda-categories
  A new Categories library for Agda
  ☆397Updated 2 weeks ago
• diku-dk / hpps-e2020-pub
  ☆11Updated 5 years ago
• UniMath / Schools
  ☆94Updated 9 months ago
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated 6 months ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated 3 weeks ago
• diku-dk / dpp-e2021-pub
  Data Parallel Programming
  ☆22Updated 2 years ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last month
• CategoryTheoryArchive / archive
  A digital archive of category theory papers.
  ☆34Updated 3 weeks ago
• mattearnshaw / lawvere
  The collected works of F. W. Lawvere
  ☆371Updated last year
• Carnap / Carnap
  A formal logic framework that runs in the browser
  ☆323Updated last year
• jyp / dante
  ☆398Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆283Updated this week
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆126Updated 4 years ago
• effectfully / haskell-challenges
  Code challenges to solve with Haskell
  ☆185Updated 4 months ago