epfl-lara / nugget
Neural-Network Guided Expression Transformation
☆12Updated 7 years ago
Alternatives and similar repositories for nugget:
Users that are interested in nugget are comparing it to the libraries listed below
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- ☆23Updated 2 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Metamath verifier in Python☆38Updated last year
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆28Updated this week
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- Simple LaTeX☆16Updated last year
- ☆10Updated 5 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- An encyclopedia of proofs☆60Updated 5 months ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- My own playground for PLP (Programming Language Processing) using DeepLearning techniques☆19Updated 2 years ago
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆54Updated 10 years ago
- Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on☆21Updated last year
- Theorem proving in Lean☆49Updated 6 months ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Superposition prover☆17Updated 2 years ago
- Schemes in Lean (v2)☆43Updated 4 years ago
- The MMT Language and System☆72Updated 9 months ago
- Commutative diagrams with TikZ☆50Updated 2 years ago
- Funn: Functional Neural Networks in Haskell☆25Updated 6 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 4 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- An embedded DSL for creating, composing, and using probability measures.☆40Updated 5 years ago