Alternatives and similar repositories for compSys-e2021-pub

Users that are interested in compSys-e2021-pub are comparing it to the libraries listed below

• madsobitsoe / CATITOR
  The extremely portable, extremely extensible line editor
  ☆13Updated 3 years ago
• joshniemela / KU-courses
  A better version of KU's course catalogue
  ☆21Updated 3 weeks ago
• whonore / Coqtail
  Interactive Coq Proofs in Vim
  ☆300Updated 3 weeks ago
• dikurevy / Public-Archive
  Public archive of material performed on stage through the life time of DIKUrevy
  ☆27Updated 5 months ago
• diku-dk / staffeli
  DIKU Support Tools for Canvas LMS
  ☆14Updated 11 months ago
• martinescardo / TypeTopology
  Logical manifestations of topological concepts, and other things, via the univalent point of view.
  ☆261Updated this week
• martinescardo / HoTTEST-Summer-School
  HoTTEST Summer School materials
  ☆311Updated 2 months ago
• samcoy3 / advent-of-code-template
  A Haskell project template for Advent of Code solutions.
  ☆33Updated last year
• Julian / lean.nvim
  Neovim support for the Lean theorem prover
  ☆392Updated last week
• ljedrz / lambda_calculus
  A simple, zero-dependency implementation of the untyped lambda calculus in Safe Rust
  ☆128Updated 3 months ago
• derekelkins / agda-vim
  Agda interaction in vim
  ☆134Updated 3 years ago
• UniMath / agda-unimath
  The agda-unimath library
  ☆263Updated this week
• agda / cornelis
  agda-mode for neovim
  ☆164Updated last month
• datalogisk-fagraad / DIKUNotes
  A collection of information, notes and resources about courses given at the institute of computer science (DIKU) at University of Copenha…
  ☆137Updated last year
• GeoCoq / GeoCoq
  A formalization of geometry in Coq based on Tarski's axiom system
  ☆199Updated 3 months ago
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆393Updated this week
• leanprover / vscode-lean
  Extension for VS Code that provides support for the older Lean 3 language. Succeeded by vscode-lean4 ('lean4' in the extensions menu) for…
  ☆114Updated 5 months ago
• diku-dk / dpp-e2024-pub
  Course website for Data Parallel Programming at DIKU
  ☆12Updated 8 months ago
• digama0 / mm0
  Metamath Zero specification language
  ☆351Updated 3 weeks ago
• RedPRL / cooltt
  😎TT
  ☆231Updated 3 weeks ago
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆119Updated last year
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆379Updated 8 months ago
• finnschiermer / x86prime
  fairly limited x86 to x86' translator
  ☆19Updated 2 years ago
• ejgallego / coq-lsp
  Visual Studio Code Extension and Language Server Protocol for Rocq / Coq
  ☆185Updated last week
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆210Updated last week
• agda / cubical
  An experimental library for Cubical Agda
  ☆500Updated 2 weeks ago
• jez / vim-better-sml
  Enjoy writing SML within Vim
  ☆108Updated 11 months ago
• HoTT-Intro / Agda
  Agda formalisation of the Introduction to Homotopy Type Theory
  ☆125Updated 3 years ago
• diku-dk / pmph-e2024-pub
  ☆19Updated 7 months ago
• sweirich / pi-forall
  A demo implementation of a simple dependently-typed language
  ☆610Updated 9 months ago