Alternatives and similar repositories for KU-courses

Users that are interested in KU-courses are comparing it to the libraries listed below

• diku-dk / pmph-e2024-pub
  ☆19Updated 10 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆13Updated 11 months ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated 10 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆126Updated this week
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆49Updated last year
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆68Updated last week
• diku-dk / dpp-e2023-pub
  Repository for the DPP'23 course
  ☆11Updated last year
• ejgallego / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆192Updated this week
• diku-dk / howto
  How do I DIKU? How indeed.
  ☆28Updated 2 months ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆267Updated last year
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆197Updated last week
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆293Updated this week
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆179Updated 2 months ago
• rocq-community / coq-nix-toolbox
  Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]
  ☆48Updated this week
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆167Updated this week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆101Updated this week
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆343Updated this week
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆222Updated 2 months ago
• google / mlir-hs
  Haskell bindings for MLIR
  ☆118Updated 9 months ago
• leanprover / cslib
  A Lean library for Computer Science
  ☆171Updated this week
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated last year
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆99Updated 3 months ago
• arbipher / llvm-ocaml-tutorial
  The LLVM tutorial using OCaml
  ☆32Updated 2 years ago
• agda / cornelis
  agda-mode for neovim
  ☆168Updated 3 weeks ago
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆339Updated this week
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆156Updated last month
• janestreet / torch
  ☆143Updated last week
• leanprover-community / NNG4
  Natural Number Game
  ☆256Updated 2 months ago