Alternatives and similar repositories for compSys-e2021-pub

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

• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 3 years ago
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 6 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆12Updated 9 months ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated last week
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated last year
• diku-dk / pmph-e2024-pub
  ☆19Updated 8 months ago
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated last year
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆21Updated 8 months ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆402Updated this week
• 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 / ap-e2024-pub
  Public repository for Advanced Programming
  ☆58Updated 7 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆301Updated last month
• derekelkins / agda-vim
  Agda interaction in vim
  ☆135Updated 3 years ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated last year
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆114Updated 5 months ago
• agda / cornelis
  agda-mode for neovim
  ☆165Updated last month
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated last month
• diku-dk / pfp-e2020-pub
  Parallel Functional Programming, 2020
  ☆16Updated last year
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• jbachurski / ein
  Points for Free: Embedding Pointful Array Programming in Python
  ☆17Updated last year
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆166Updated 7 months ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated 11 months ago
• wilbowma / pl-thesaurus
  ☆90Updated 3 years ago
• CAAL / CAAL
  CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes e…
  ☆43Updated 2 years ago
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆182Updated last week
• rocq-archive / graph-basics
  a Coq toolkit for graph theory
  ☆13Updated 4 years ago
• diku-dk / hpps-e2020-pub
  ☆12Updated 4 years ago