Alternatives and similar repositories for coq-nix-toolbox:

Users that are interested in coq-nix-toolbox are comparing it to the libraries listed below

• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆36Updated last week
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated this week
• jonsterling / latex-dieudonne
  A LaTeX package to reproduce (an enhanced version of) the numbered paragraph style from classic French mathematics books.
  ☆19Updated 3 years ago
• coq / rfcs
  Coq Enhancement Proposals
  ☆56Updated 2 months ago
• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆27Updated 5 months ago
• msp-strath / ask
  being a particular fragment of Haskell, extended to a proof system
  ☆30Updated last month
• bobatkey / agda-metric-reals
  ☆29Updated 2 years ago
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated last year
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆51Updated 2 weeks ago
• hargoniX / socket.lean
  sockets for Lean 4
  ☆18Updated 8 months ago
• jespercockx / agda2scheme
  Compiler backend for generating Scheme code
  ☆27Updated last year
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆97Updated last month
• FrozenWinters / stlc
  This aims to be the most pretentious implementation of stlc in existence
  ☆62Updated 3 years ago
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• uemurax / morg
  Organize mathematical thoughts
  ☆20Updated last year
• conal / felix
  Agda category theory library for denotational design
  ☆50Updated 9 months ago
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆56Updated 3 months ago
• agda / agda-language-server
  Language Server for Agda
  ☆107Updated 3 months ago
• jespercockx / ataca
  A TACtic library for Agda
  ☆48Updated 6 months ago
• msp-strath / cs410-advanced-functional-programming
  CS410 "Advanced Functional Programming"
  ☆22Updated this week
• andrejbauer / formalized-mathematics-in-lean
  A graduate course on formalized mathematics at the Faculty of Mathematics and Physics, University of Ljubljana, Fall semester 2024/25
  ☆25Updated 2 months ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆58Updated 2 months ago
• Trebor-Huang / combinator-nbe
  Normalization by evaluation of simply typed combinators.
  ☆26Updated 3 years ago
• effectfully / inference-in-agda
  A tutorial on how Agda infers things
  ☆41Updated 4 years ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆70Updated 4 months ago
• obsidiansystems / nix-thunk
  seamless management of source dependencies with nix
  ☆38Updated 2 months ago
• unicoq / unicoq
  An enhanced unification algorithm for Coq
  ☆54Updated last month
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 6 months ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆84Updated last month
• maxsnew / cubical-categorical-logic
  Extensions to the cubical stdlib category theory for categorical logic/type theory
  ☆29Updated last month