VMatthijs / CHAD

Related projects ⓘ

Alternatives and complementary repositories for CHAD

• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆17Updated 2 weeks ago
• DavidJaz / DynamicalSystemsBook
  ☆42Updated 6 months ago
• conal / felix
  Agda category theory library for denotational design
  ☆48Updated 5 months ago
• lsrcz / grisette
  A monadic library for symbolic evaluation
  ☆55Updated 2 weeks ago
• alt-romes / hegg
  Fast equality saturation in Haskell
  ☆77Updated 6 months ago
• joelberkeley / spidr
  Accelerated machine learning with dependent types
  ☆79Updated this week
• MevenBertrand / NbEReadingGroup
  A repository for material from the reading group on NbE
  ☆17Updated last year
• felixwellen / DCHoTT-Agda
  Differential cohesion in Homotopy Type Theory by an axiomatized infinitesimal shape modality
  ☆52Updated 2 years ago
• bgavran / Lens_Resources
  Theory and Applications of Lenses and Optics
  ☆53Updated 2 years ago
• wenkokke / schmitty
  Agda bindings to SMT-LIB2 compatible solvers.
  ☆95Updated last month
• leftaroundabout / manifolds
  Coordinate-free hypersurfaces as Haskell types
  ☆39Updated last year
• ImperialCollegeLondon / complex-number-game
  The Complex Number Game. Make the complex numbers in Lean.
  ☆35Updated 2 years ago
• fizruk / simple-topes
  Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes.
  ☆17Updated last year
• jtristan / stump-learnable
  ☆16Updated 3 years ago
• mikeshulman / catlog
  Categorical logic from a categorical point of view
  ☆76Updated last year
• tlringer / proof-demos
  Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
  ☆38Updated last year
• umazalakain / agda-bcam
  Tutorial series introducing Agda to the people at BCAM
  ☆26Updated 2 years ago
• abooij / wiwikwlhott
  What I wish I knew when learning HoTT
  ☆53Updated 5 years ago
• felixwellen / synthetic-geometry
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆23Updated 10 months ago
• gebner / hott3
  HoTT in Lean 3
  ☆75Updated 4 years ago
• forked-from-1kasper / ground_zero
  Ground Zero: Lean 4 HoTT Library
  ☆45Updated last month
• JamesGallicchio / LeanColls
  WIP collections library for Lean 4
  ☆30Updated this week
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆55Updated last month
• algebraic-graphs / agda
  The theory of algebraic graphs formalised in Agda
  ☆87Updated 6 years ago
• min-nguyen / prob-fx
  A language for modular probabilistic modelling in Haskell based on effect handlers
  ☆16Updated 10 months ago
• vehicle-lang / vehicle
  A toolkit for enforcing logical specifications on neural networks
  ☆80Updated this week
• jtassarotti / coq-proba
  A Probability Theory Library for the Coq Theorem Prover
  ☆49Updated last year
• zaklogician / linear-constructive
  Linear Logic for Constructive Mathematics, in Agda
  ☆17Updated 5 years ago
• abarbu / haskell-torch
  Practical Deep Learning in Haskell now!
  ☆50Updated 2 years ago
• madvorak / lean3-tactic-lean4
  Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
  ☆25Updated last week