epfl-lara / nuggetLinks
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
Sorting:
- Simple LaTeX☆17Updated last year
- My own playground for PLP (Programming Language Processing) using DeepLearning techniques☆19Updated 2 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆56Updated 10 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
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- Grammatical Framework core: compiler, shell & runtimes☆142Updated last week
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆51Updated 2 years ago
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆31Updated this week
- ☆23Updated 3 years ago
- A DSL for the internal language of a topos☆65Updated 3 weeks ago
- The mathematical study of type theories, in univalent foundations☆116Updated 5 months ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- Linear Algebra of Programming - Algebraic Matrices in Haskell☆84Updated 3 months ago
- Symbolic formula representation and solver interaction library☆166Updated 3 weeks ago
- Optimizing Synthesis with Metasketches, POPL 2016☆23Updated 8 years ago
- Theorem proving in Lean☆49Updated 9 months ago
- Tableau-based Theorem Prover for Natural Logic and Language☆118Updated 2 weeks ago
- Python term rewriting☆30Updated 12 years ago
- Exploration of primes, factorization and number theory through haskell☆10Updated 8 years ago
- Quantitative Type Theory implementation☆54Updated 4 years ago
- Grammatical Framework's Resource Grammar Library (RGL)☆58Updated 2 months ago
- Metamath verifier in Python☆40Updated 2 months ago
- A file-based mirror of the nLab wiki (HTML format).☆24Updated this week
- An Experiment in Haskell Symbolic Algebra☆73Updated 13 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆66Updated last year
- Macros in Python: quasiquotes, case classes, LINQ and more!☆29Updated 5 years ago
- Formalizing linear algebra in Agda by representing matrices as functions☆26Updated last year
- Lean theorem prover version 0.2 (it supports standard and HoTT modes)☆122Updated 3 years ago
- An experimental Agda kernel for Jupyter☆24Updated 3 years ago