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 7 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆12Updated 8 months ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆58Updated 7 months ago
• polarity-lang / polarity
  A Language with Dependent Data and Codata Types
  ☆116Updated last week
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆185Updated last week
• HigherOrderCO / kind2-archive
  Temporary repository for Kind2's refactor based on HVM2
  ☆281Updated 11 months ago
• algebraic-dev / http
  🌐 | HTTP primitives for Lean 4
  ☆45Updated 10 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• leanprover-community / batteries
  The "batteries included" extended library for the Lean programming language and theorem prover
  ☆325Updated this week
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆389Updated 2 weeks ago
• agda / cornelis
  agda-mode for neovim
  ☆164Updated last month
• lean-forward / logical_verification_2024
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆68Updated last year
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated 3 weeks ago
• VictorTaelin / Interaction-Type-Theory
  ☆119Updated last year
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆210Updated last week
• oxcaml / oxcaml
  OCaml - Oxidized!
  ☆469Updated this week
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆110Updated this week
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆392Updated last week
• Deducteam / lambdapi
  Proof assistant based on the λΠ-calculus modulo rewriting
  ☆348Updated 3 weeks ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆177Updated this week
• diku-dk / smlpkg
  Generic package manager for Standard ML libraries and programs
  ☆167Updated 7 months ago
• verse-lab / veil
  A verifier for automated and interactive proofs about transition systems. This repository is a public mirror with stable development sna…
  ☆130Updated last month
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 2 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• madvorak / lean4-tactics
  Overview of tactics in Lean 4 for beginners — longer version
  ☆91Updated 2 months ago
• RedPRL / cooltt
  😎TT
  ☆231Updated 3 weeks ago
• PatrickMassot / verbose-lean4
  Natural language tactics to teach mathematics using Lean 4
  ☆90Updated last month
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆266Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆261Updated last week
• 34j / best-of-lean4
  A list of awesome lean4 projects. Feel free to add your project.
  ☆97Updated last week