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
• 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 / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 10 months ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆370Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆158Updated 2 months ago
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆296Updated last week
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆32Updated last year
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• Sheinxy / Advent2022
  Advent Of Code 2022
  ☆26Updated 2 years ago
• idris-community / idris2-lsp
  Language Server for Idris2
  ☆179Updated last month
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 4 months ago
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆133Updated 3 years ago
• joom / latex-unicoder.vim
  A plugin to type Unicode chars in Vim, using their LaTeX names.
  ☆90Updated last year
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• xymostech / XymosTeX
  A re-implementation of TeX in Rust to help me understand how it works and to eventually provide a debugging interface
  ☆104Updated 10 months ago
• diku-dk / pmph-e2024-pub
  ☆19Updated 5 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆259Updated 3 weeks ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆126Updated 2 months ago
• paolobrasolin / commutative-diagrams
  CoDi: Commutative Diagrams for TeX
  ☆31Updated last year
• Yvee1 / hascard
  flashcard TUI with markdown cards
  ☆326Updated 8 months ago
• Kamil-Jan / Dotfiles
  Linux config files
  ☆11Updated 2 years ago
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆303Updated last month
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• 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…
  ☆115Updated 3 months ago
• ndmitchell / hoogle
  Haskell API search engine
  ☆772Updated 3 months ago