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:
- My own playground for PLP (Programming Language Processing) using DeepLearning techniques☆19Updated 2 years ago
- Tableau-based Theorem Prover for Natural Logic and Language☆119Updated this week
- Simple LaTeX☆17Updated last year
- Generates natural language versions of Coq proofs☆51Updated 7 years ago
- Typed frontend to TensorFlow and higher-order deep learning☆156Updated 3 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 3 years ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆57Updated 11 years ago
- The mathematical study of type theories, in univalent foundations☆117Updated 8 months 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
- ☆23Updated 3 years ago
- Higher-order, higher-order automatic differentiation☆30Updated 5 years ago
- A DSL for the internal language of a topos☆66Updated 3 months ago
- Grammatical Framework core: compiler, shell & runtimes☆143Updated 3 weeks ago
- The MMT Language and System☆76Updated last month
- shapechecking neural net DSL using Hindley-Milner type system(compiles to pytorch as proof of concept)☆52Updated 2 years ago
- An Automated Theorem Prover for Classical Higher-Order Logic with Henkin Semantics☆50Updated last week
- GAPT: General Architecture for Proof Theory☆104Updated 3 weeks ago
- Neural Guided Constraint Logic Programming for Program Synthesis☆93Updated 6 years ago
- The Brown Benchmark for Table Types (B2T2)☆64Updated 3 months ago
- Metamath verifier in Python☆39Updated 4 months ago
- A file-based mirror of the nLab wiki (Markdown+itex2MML format).☆32Updated this week
- Jupyter kernel for Coq☆95Updated last year
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Updated 3 years ago
- Gonthier's formal proof of the 4-color theorem, in Coq.☆11Updated 9 years ago
- General-Purpose Computer Algebra System as an EDSL in Haskell☆95Updated last year
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 4 years ago
- A file-based mirror of the nLab wiki (HTML format).☆25Updated this week
- A system for computational category theory and applications☆40Updated 9 years ago
- The Boole Interactive Reasoning Assistant☆30Updated 11 years ago
- The Next Generation of Compositional Programming☆54Updated 2 months ago