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 last year
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆14Updated last year
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated last year
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆83Updated last week
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆52Updated last month
• leanprover / fp-lean
  Functional Programming in Lean
  ☆140Updated last week
• agda / cornelis
  agda-mode for neovim
  ☆175Updated last week
• HigherOrderCO-archive / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated last year
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆229Updated 5 months ago
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆357Updated this week
• leanprover / lean4-cli
  A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
  ☆94Updated this week
• digama0 / lean-type-theory
  LaTeX code for a paper on lean's type theory
  ☆161Updated 3 years ago
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆69Updated last year
• google / mlir-hs
  Haskell bindings for MLIR
  ☆120Updated 3 weeks ago
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆463Updated last week
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated last week
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆101Updated last month
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated last year
• effectfully / haskell-challenges
  Code challenges to solve with Haskell
  ☆185Updated 4 months ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆312Updated last month
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 3 years ago
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆171Updated 2 weeks ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆199Updated 2 months ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems.
  ☆179Updated 2 weeks ago
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆117Updated last week
• haskellfoundation / hs-opt-handbook.github.io
  The Haskell Optimization Handbook
  ☆182Updated 2 weeks ago
• rami3l / PLFaLean
  Learn Lean 4 with PLFA proofs.
  ☆102Updated 9 months ago
• leanprover-community / aesop
  White-box automation for Lean 4
  ☆337Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 7 months ago