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
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆229Updated 5 months ago
• polarity-lang / polarity
  A language with dependent data and codata types
  ☆125Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆175Updated last week
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆14Updated last year
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆268Updated last week
• leanprover / cslib
  The Lean Computer Science Library (CSLib)
  ☆255Updated this week
• leanprover / fp-lean
  Functional Programming in Lean
  ☆140Updated last week
• rocq-community / rocq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq [maintainers=@gbdrt,@SkySkimmer,@tabareau]
  ☆195Updated this week
• zydeco-lang / zydeco
  a proof-of-concept programming language based on call-by-push-value
  ☆61Updated last week
• math-comp / analysis
  Mathematical Components compliant Analysis Library
  ☆234Updated last week
• rami3l / PLFaLean
  Learn Lean 4 with PLFA proofs.
  ☆102Updated 9 months ago
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆83Updated last week
• VictorTaelin / Interaction-Type-Theory
  ☆120Updated last year
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 4 years ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆59Updated last year
• AndrasKovacs / staged
  Staged compilation with dependent types
  ☆187Updated 8 months ago
• brendanzab / language-garden
  A garden of small programming language implementations 🪴
  ☆307Updated last week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆322Updated 7 months ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆283Updated 2 weeks ago
• opencompl / lean-mlir
  A minimal development of SSA theory
  ☆207Updated this week
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆114Updated last week
• RedPRL / cooltt
  😎TT
  ☆241Updated 2 months ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆52Updated last month
• sdiehl / typechecker-zoo
  A menagerie of cute implementations of modern typechecking algorithms
  ☆378Updated this week
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆199Updated 2 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆121Updated last week
• AndrasKovacs / dtt-rtcg
  Demo for dependent types + runtime code generation
  ☆72Updated 11 months ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆269Updated last year
• AndrasKovacs / elaboration-zoo
  Minimal implementations for dependent type checking and elaboration
  ☆762Updated 3 weeks ago