epfl-lara / nugget

Related projects ⓘ

Alternatives and complementary repositories for nugget

• Deducteam / Logipedia
  An encyclopedia of proofs
  ☆57Updated 2 weeks ago
• ahadziha / rewalt
  A toolkit for higher-dimensional diagram rewriting.
  ☆15Updated 2 years ago
• joelburget / typed-algebraic-parsing
  An implementation of "A Typed, Algebraic Approach to Parsing"
  ☆10Updated 2 years ago
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆22Updated this week
• 0b01 / tensorscript
  shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)
  ☆51Updated last year
• b-mehta / combinatorics
  ☆21Updated 2 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 10 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• andrew-bedford / coqatoo
  Generates natural language versions of Coq proofs
  ☆51Updated 6 years ago
• leanprover / theorem_proving_in_lean
  Theorem proving in Lean
  ☆48Updated last month
• andreaferretti / commutative-algebra
  An introduction to the basic ideas of commutative algebra
  ☆16Updated 4 years ago
• aditya-khant / neural-assembly-compiler
  A neural assembly compiler for pyTorch based on adaptive-neural-compilation
  ☆27Updated 6 years ago
• konn / smooth
  Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras
  ☆17Updated 3 years ago
• probcomp / Venturecxx
  Primary implementation of the Venture probabilistic programming system
  ☆28Updated 5 years ago
• nshepperd / funn
  Funn: Functional Neural Networks in Haskell
  ☆24Updated 5 years ago
• sdiehl / pyrewrite
  Python term rewriting
  ☆27Updated 11 years ago
• asaparov / grammar
  Implementation of generative semantic grammar.
  ☆17Updated 2 years ago
• przchojecki / deepalgebra
  DeepAlgebra
  ☆25Updated 7 years ago
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• rwightman / py-lmdb
  Universal Python binding for the LMDB 'Lightning' Database
  ☆12Updated 7 years ago
• altaris / opetopy
  Proof assistant for opetope and opetopic set derivation systems
  ☆14Updated 4 years ago
• mandubian / codenets
  My own playground for PLP (Programming Language Processing) using DeepLearning techniques
  ☆19Updated last year
• psg-mit / smooth
  An arbitrary-precision differentiable programming language.
  ☆34Updated last year
• finsberg / category-theory-python
  Learning platform for category theory in python
  ☆15Updated last week
• coq-community / bits
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆22Updated 3 months ago
• xuexue / neuralkanren
  Neural Guided Constraint Logic Programming for Program Synthesis
  ☆92Updated 5 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆22Updated this week
• avigad / boole
  The Boole Interactive Reasoning Assistant
  ☆27Updated 10 years ago
• ml4tp / tcoq
  Modification to Coq to record intermediate proof states encountered during a proof
  ☆7Updated 5 years ago
• s-zeng / dhall-python
  Up-to-date and maintained python bindings for dhall, a functional configuration language
  ☆45Updated last year