Alternatives and similar repositories for KU-courses

Users that are interested in KU-courses 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
  ☆57Updated 5 months ago
• diku-dk / pmph-e2024-pub
  ☆19Updated 5 months ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆165Updated 5 months ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆39Updated 8 months ago
• diku-compSys / compSys-e2020-pub
  Public material for Computer Systems, B1-2, E2020 @ DIKU, Dept. CS, Univ. Cph
  ☆31Updated 4 years ago
• Tritlo / OllamaHoles
  LLM-powered typed-holes
  ☆40Updated last month
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆26Updated last week
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆47Updated last week
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆106Updated 3 weeks ago
• diku-dk / hpps-e2021-pub
  Public repository for the HPPS course
  ☆17Updated 3 years ago
• andorp / DepPy
  Imagine a Dependently Typed Python
  ☆11Updated 2 months ago
• diku-dk / hpps-e2023-pub
  Public repository for the 2023 edition of HPPS
  ☆19Updated last year
• Gabriella439 / tiktoken
  Haskell implementation of tiktoken
  ☆11Updated this week
• byorgey / comprog-hs
  Competitive programming utilities in Haskell
  ☆37Updated 5 months ago
• diku-dk / smlfut
  Call Futhark programs from Standard ML
  ☆10Updated last month
• agda / cornelis
  agda-mode for neovim
  ☆159Updated last month
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆41Updated this week
• google / mlir-hs
  Haskell bindings for MLIR
  ☆108Updated 4 months ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆23Updated last year
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆89Updated this week
• luc-tielen / llvm-codegen
  LLVM code generation in Haskell
  ☆54Updated 7 months ago
• Julian / tree-sitter-lean
  Experimental tree-sitter parser for the Lean (4) Theorem Prover
  ☆34Updated 5 months ago
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 3 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆12Updated 6 months ago
• leanprover / verso
  Lean documentation authoring tool
  ☆180Updated this week
• charlielidbury / ochre
  A systems theorem prover
  ☆11Updated last year
• yvan-sraka / cargo-cabal
  A tool that helps you to turn in one command a Rust crate into a Haskell Cabal library!
  ☆104Updated last week
• kantinen / infoscreen
  Slides til infoskærmen
  ☆8Updated last month