joshniemela / KU-courses

Related projects: ⓘ

• diku-dk / pmph-e2024-pub
  ☆16Updated this week
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated last year
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆56Updated this week
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆161Updated 11 months ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated 8 months ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 3 years ago
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆21Updated last month
• isovector / cornelis
  agda-mode for neovim
  ☆130Updated 4 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆164Updated this week
• diku-compSys / compSys-e2021-pub
  Public material for Computer Systems, B1-2, E2021 @ DIKU, Dept. CS, Univ. Cph
  ☆22Updated 2 years ago
• mikeshulman / narya
  A proof assistant for higher-dimensional type theory
  ☆137Updated 3 weeks ago
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month
• zydeco-lang / zydeco
  a proof-of-concept programming language based on Call-by-push-value
  ☆49Updated 2 weeks ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆47Updated this week
• ashinkarov / nvim-agda
  Agda interaction pluging for neovim
  ☆35Updated 2 weeks ago
• diku-dk / hpps-e2022-pub
  Public repository for HPPS 2022
  ☆20Updated last year
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated last week
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆95Updated last week
• shmulvad / AD-notes
  A repo containing my outlines/exam notes for the course Algorithms and Datastructures (AD) at DIKU
  ☆14Updated 5 years ago
• ocaml-flambda / flambda-backend
  The Flambda backend project for OCaml
  ☆103Updated this week
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆67Updated 9 months ago
• azdavis / millet
  A language server for Standard ML.
  ☆207Updated 2 weeks ago
• leanprover / verso
  Lean documentation authoring tool
  ☆112Updated this week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Coq
  ☆145Updated last week
• Lysxia / advent-of-coq-2021
  ☆38Updated 2 years ago
• kirkedal / compSys-e2019-pub
  ☆67Updated this week
• sweirich / lambda-n-ways
  Benchmarks for capture-avoiding substitution
  ☆106Updated last year
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆174Updated last week
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated 4 months ago
• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 2 years ago