Alternatives and similar repositories for nugget:

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

• b-mehta / combinatorics
  ☆23Updated 2 years ago
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated last year
• mratsim / haskell-numbertheory
  Exploration of primes, factorization and number theory through haskell
  ☆10Updated 8 years ago
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆11Updated 3 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆28Updated this week
• david-a-wheeler / mmverify.py
  Metamath verifier in Python
  ☆38Updated 11 months ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 7 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆24Updated 2 weeks ago
• scravy / simplex
  Simple LaTeX
  ☆16Updated 11 months ago
• mgrabovsky / fm-notes
  Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
  ☆21Updated last year
• gstew5 / games
  ☆10Updated 5 years ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆17Updated 2 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆59Updated 4 months ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated last year
• aditya-khant / neural-assembly-compiler
  A neural assembly compiler for pyTorch based on adaptive-neural-compilation
  ☆27Updated 7 years ago
• tchajed / coq-tactical
  Library of Coq proof automation
  ☆16Updated 3 years ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆93Updated 6 years ago
• raaz-crypto / verse-coq
  VERified asSembler for cryptographic primitives
  ☆12Updated last year
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 5 years ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆16Updated 9 months ago
• bkomuves / nanohs
  a self-hosting lambda calculus compiler
  ☆35Updated this week
• ccshan / prob-school
  Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)
  ☆10Updated 5 years ago
• cyrus- / thesis
  My PhD thesis, titled "Reasonably Programmable Syntax"
  ☆15Updated 6 years ago
• dpiponi / provability
  Some tools for provability logic
  ☆37Updated 6 years ago
• ericfinster / opetopic
  Web based opetopic editor
  ☆35Updated 5 months ago
• LightAndLight / qtt
  Quantitative Type Theory implementation
  ☆54Updated 3 years ago
• junjihashimoto / th-cas
  Compile time CAS(Computer Algebra System) for Haskell
  ☆17Updated 5 years ago
• sweirich / graded-haskell
  Graded Dependent Type systems
  ☆24Updated last year
• rocq-community / aac-tactics
  Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…
  ☆31Updated last month