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:
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- My own playground for PLP (Programming Language Processing) using DeepLearning techniques☆19Updated 2 years ago
- A DSL for the internal language of a topos☆66Updated last month
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- ☆23Updated 3 years ago
- Simple LaTeX☆17Updated last year
- Python term rewriting☆30Updated 12 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- A Haskell framework to define valid deep learning models and export them to other frameworks like TensorFlow JS or Keras.☆102Updated 2 years ago
- The Next Generation of Compositional Programming☆53Updated this week
- The mathematical study of type theories, in univalent foundations☆117Updated 6 months ago
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Grammatical Framework core: compiler, shell & runtimes☆140Updated 2 weeks ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆32Updated this week
- The Brown Benchmark for Table Types (B2T2)☆64Updated last month
- Bonn Lean course for winter 24/25☆36Updated last month
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Updated 3 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- Metamath verifier in Python☆40Updated 3 months ago
- Symbolic formula representation and solver interaction library☆168Updated this week
- Bolts: Stainless Verified Scala Examples☆26Updated last week
- a Rust implementation of first-order term rewriting systems (TRS)☆27Updated 3 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆34Updated 8 years ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- DeepAlgebra☆25Updated 7 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆92Updated last year
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 4 months ago
- An encyclopedia of proofs☆62Updated 9 months ago