epfl-lara / nugget
Neural-Network Guided Expression Transformation
☆12Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for nugget
- Neural Guided Constraint Logic Programming for Program Synthesis☆92Updated 5 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- ☆21Updated 2 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 2 years ago
- An encyclopedia of proofs☆57Updated this week
- A toolkit for higher-dimensional diagram rewriting.☆15Updated 2 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆22Updated this week
- A neural assembly compiler for pyTorch based on adaptive-neural-compilation☆27Updated 6 years ago
- Python term rewriting☆27Updated 11 years ago
- The MMT Language and System☆68Updated 3 months ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆42Updated last month
- Build-to-Order BLAS☆11Updated 5 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆10Updated 2 years ago
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆25Updated 10 months ago
- Higher-order, higher-order automatic differentiation☆30Updated 4 years ago
- A general purpose relational language☆20Updated 4 years ago
- A DSL for the internal language of a topos☆61Updated 7 months ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated last year
- Primary implementation of the Venture probabilistic programming system☆28Updated 4 years ago
- Metamath verifier in Python☆34Updated 7 months ago
- The Boole Interactive Reasoning Assistant☆27Updated 10 years ago
- A system for computational category theory and applications☆35Updated 8 years ago
- Proof assistant for opetope and opetopic set derivation systems☆14Updated 4 years ago
- Tagged union types and immutable records (product types) in Python☆11Updated 7 years ago
- A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…☆22Updated 3 months ago
- World's best progamming language☆16Updated 4 years ago
- Monadic Constraint Programming framework☆28Updated 6 years ago
- DeepAlgebra☆25Updated 7 years ago
- Funn: Functional Neural Networks in Haskell☆24Updated 5 years ago