Alternatives and similar repositories for nugget

Users that are interested in nugget are comparing it to the libraries listed below

• b-mehta / combinatorics
  ☆23Updated 3 years ago
• leopiney / tensor-safe
  A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.
  ☆102Updated 2 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 3 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• scravy / simplex
  Simple LaTeX
  ☆17Updated last year
• fdilke / bewl
  A DSL for the internal language of a topos
  ☆66Updated 2 months ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆63Updated 11 months ago
• vladimirias / Foundations
  Voevodsky's original development of the univalent foundations of mathematics in Coq
  ☆57Updated 11 years ago
• UniMath / TypeTheory
  The mathematical study of type theories, in univalent foundations
  ☆117Updated 7 months ago
• mandubian / codenets
  My own playground for PLP (Programming Language Processing) using DeepLearning techniques
  ☆19Updated 2 years ago
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 9 years ago
• iblech / internal-methods
  Notes on how to use the internal language of toposes in algebraic geometry
  ☆59Updated 2 weeks ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 months ago
• colah / HaskSymb
  An Experiment in Haskell Symbolic Algebra
  ☆73Updated 13 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated last month
• EugeneLoy / coq_jupyter
  Jupyter kernel for Coq
  ☆95Updated last year
• GU-CLASP / TypedFlow
  Typed frontend to TensorFlow and higher-order deep learning
  ☆156Updated 3 years ago
• con-kitty / categorifier-c
  Haskell to C compiler via Categorifier
  ☆38Updated last year
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 4 years ago
• ncatlab / nlab-content-html
  A file-based mirror of the nLab wiki (HTML format).
  ☆25Updated this week
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated 2 years ago
• leanprover / lean2
  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  ☆123Updated 3 years ago
• tangentforks / FourColorTheorem
  Gonthier's formal proof of the 4-color theorem, in Coq.
  ☆11Updated 9 years ago
• konn / computational-algebra
  General-Purpose Computer Algebra System as an EDSL in Haskell
  ☆93Updated last year
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 4 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 11 months ago
• jasonmorton / Cateno
  A system for computational category theory and applications
  ☆40Updated 9 years ago
• DavidMichaelRoberts / AlgebraicTopology2019
  Course notes for Pure Mathematics Topic D 2019
  ☆53Updated 5 years ago
• UniFormal / MMT
  The MMT Language and System
  ☆76Updated last month