epfl-lara / nuggetLinks
Neural-Network Guided Expression Transformation
☆13Updated 7 years ago
Alternatives and similar repositories for nugget
Users that are interested in nugget are comparing it to the libraries listed below
Sorting:
- Exploration of primes, factorization and number theory through haskell☆10Updated 9 years ago
- ☆24Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 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 4 years ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- A toolkit for higher-dimensional diagram rewriting.☆18Updated 3 years ago
- Simple LaTeX☆17Updated last year
- A DSL for the internal language of a topos☆66Updated 4 months ago
- A system for computational category theory and applications☆40Updated 9 years ago
- The mathematical study of type theories, in univalent foundations☆117Updated 10 months ago
- ☆10Updated 5 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆34Updated this week
- Metamath verifier in Python☆40Updated 6 months ago
- An encyclopedia of proofs☆64Updated last year
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- Jupyter kernel for Coq☆95Updated last year
- My own playground for PLP (Programming Language Processing) using DeepLearning techniques☆19Updated 2 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆16Updated 5 years ago
- Bolts: Stainless Verified Scala Examples☆26Updated this week
- collaboration on work in progress☆15Updated 14 years ago
- (WIP) Dependently-typed programming language with Agda style dependent pattern matching☆80Updated 5 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆120Updated last month
- Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar☆21Updated 10 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- A file-based mirror of the nLab wiki (HTML format).☆26Updated this week
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- Python term rewriting☆30Updated 12 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 4 months ago
- Slides and handwritten notes on the course on models of programming languages☆51Updated 5 years ago