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 2 years ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 5 months ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆21Updated 2 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆26Updated last month
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 5 months ago
• z-murray / honours-project-constructive-analysis-in-agda
  My honours project (with thesis), submitted in completion of the BSc Combined Honours in Mathematics & Computer Science at Dalhousie Univ…
  ☆17Updated last year
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆159Updated 2 months ago
• m-fleury / isabelle-emacs
  Clone of isabelle, with LSP extensions in seperate branches
  ☆28Updated this week
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 10 months ago
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆137Updated last year
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• tonyday567 / checklist
  How I start Haskell.
  ☆100Updated last week
• diku-dk / pmph-e2020-pub
  PMPH course 2020 public repo
  ☆12Updated last year
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆124Updated 3 years ago
• digama0 / tpil25
  Course materials for Chalmers TPIL25 class
  ☆14Updated 5 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆95Updated last week
• haskell-game / dear-imgui.hs
  Haskell bindings to Dear ImGui, an immediate mode GUI toolkit
  ☆156Updated last month
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated last year
• Ashe / HSRogue
  An attempt at a game in Haskell in the form of a short demo. It uses an ECS library called Apecs along with a wrapper for SDL2.
  ☆14Updated 4 years ago
• iblech / agdapad
  Agda as a collaborative multiplayer game
  ☆37Updated 9 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 2 months ago
• diku-dk / ComputerGrafikProjektStudents
  Student version of framework for solving assignments on the computer graphics course offered by department of computer science university…
  ☆6Updated 7 months ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• leanprover-community / lean4-mode
  Emacs major mode for Lean 4
  ☆97Updated this week
• diku-compSys / compSys-e2021-pub
  Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph
  ☆20Updated 3 years ago
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆179Updated 4 months ago
• agda / agda-finite-prover
  Library for proving propositions quantified over finite sets
  ☆14Updated 2 years ago