Alternatives and similar repositories for coq-nix-toolbox:

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

• wenkokke / setup-agda
  Set up a specific version of Agda for your GitHub Actions workflow.
  ☆26Updated 3 months ago
• T-Brick / lean-wasm
  Formalising the WASM spec in Lean
  ☆18Updated 7 months ago
• AndrasKovacs / 2ltt-impl
  Eventually a practical 2-level TT-based compiler
  ☆27Updated 3 weeks ago
• nomeata / lean-wf-induct
  ☆17Updated 11 months ago
• AndrasKovacs / cctt
  high-performance cubical evaluation
  ☆69Updated 2 months ago
• fgdorais / lean4-parser
  Parser Combinator Library for Lean 4
  ☆44Updated 2 weeks ago
• ice1000 / agda-mode
  Accessing Agda's interaction mode via command line & external tactic for Agda.
  ☆26Updated 4 years ago
• con-kitty / categorifier
  Interpret Haskell programs into any cartesian closed category.
  ☆57Updated 2 weeks ago
• lenianiva / lean4-nix
  Nix overlay for Lean 4, and lake2nix
  ☆23Updated 3 weeks ago
• bobatkey / agda-metric-reals
  ☆28Updated 2 years ago
• 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
  ☆24Updated 3 weeks ago
• coq / rfcs
  Coq Enhancement Proposals
  ☆54Updated 2 weeks ago
• hargoniX / socket.lean
  sockets for Lean 4
  ☆18Updated 6 months ago
• RedPRL / algaett
  🦠 An experimental elaborator for dependent type theory using effects and handlers
  ☆33Updated last year
• argumentcomputer / Megaparsec.lean
  Lean 4 port of Megaparsec
  ☆24Updated last year
• favonia / hdtt2020-notes
  ☆35Updated 3 years ago
• argumentcomputer / LSpec
  A Testing Framework for Lean
  ☆48Updated last month
• math-comp / hierarchy-builder
  High level commands to declare a hierarchy based on packed classes
  ☆97Updated this week
• ToposInstitute / polytt
  A type theory with native support for Polynomial Functors.
  ☆39Updated last year
• Kha / nale
  Nix + Lean = Nale
  ☆12Updated last year
• uemurax / morg
  Organize mathematical thoughts
  ☆19Updated last year
• ualib / agda-algebras
  The Agda Universal Algebra Library (html docs available at the url below)
  ☆30Updated last month
• agda / agda-language-server
  Language Server for Agda
  ☆105Updated last month
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆50Updated last month
• zanzix / idris-neural-net
  An implementation of a simple Neural network in Idris using category theory.
  ☆23Updated 4 months ago
• andrejbauer / notes-on-realizability
  Lecture notes on realizability
  ☆67Updated 3 months ago
• RedPRL / agda-mugen
  A formalization of the theory behind the mugen library
  ☆19Updated 7 months ago
• unicoq / unicoq
  An enhanced unification algorithm for Coq
  ☆53Updated last week
• frex-project / idris-frex
  ☆47Updated 2 months ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆56Updated 7 months ago