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
• derekelkins / agda-vim
  Agda interaction in vim
  ☆133Updated 3 years ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 10 months ago
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 4 months ago
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated 2 months ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆32Updated last year
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆58Updated 6 months ago
• ekmett / linear
  Low-dimensional linear algebra primitives for Haskell.
  ☆208Updated last month
• jtdaugherty / vty
  A high-level ncurses alternative written in Haskell
  ☆322Updated 5 months ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆156Updated last month
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated this week
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago
• basile-henry / infinisweep
  A Minesweeper clone with infinite grid written in Haskell.
  ☆33Updated 3 years ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• Daniel-Diaz / HaTeX
  The Haskell LaTeX library.
  ☆199Updated last year
• agda / cornelis
  agda-mode for neovim
  ☆162Updated 2 weeks ago
• gallais / agdarsec
  Total Parser Combinators in Agda
  ☆132Updated this week
• glguy / advent2020
  Advent of Code 2020 Haskell Solutions
  ☆16Updated 4 years ago
• sdiehl / repline
  Haskeline wrapper for GHCi-like REPL interfaces
  ☆106Updated 2 months ago
• jarrett / cpphs
  Tutorial on integrating C++ and Haskell
  ☆89Updated 5 years ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆19Updated last month
• jozefg / nbe-for-mltt
  Normalization by Evaluation for Martin-Löf Type Theory
  ☆128Updated last year
• ekmett / ad
  Automatic Differentiation
  ☆383Updated 5 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆299Updated last week
• edwinb / idris2-vim
  Vim mode for Idris 2
  ☆77Updated 2 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
• MPLLang / mpl-tutorial
  Tutorial for using the MPL compiler for Parallel ML
  ☆21Updated 7 months ago
• wavewave / fficxx
  Haskell-C++ Foreign Function Interface Generator
  ☆143Updated last year