☆23Apr 1, 2016Updated 9 years ago
Alternatives and similar repositories for MathSymbolRecognizer
Users that are interested in MathSymbolRecognizer are comparing it to the libraries listed below
Sorting:
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Feb 15, 2020Updated 6 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆35Dec 8, 2016Updated 9 years ago
- ☆38Mar 9, 2021Updated 4 years ago
- Blocks is a plugin for mdbook which preprocesses "Blocks" based markdown into beautiful Bootstrap components.☆11Jun 15, 2024Updated last year
- A collection of utility scripts and other tools that make working with Crabgrass easier.☆11Apr 3, 2020Updated 5 years ago
- A Swift library for carefully refactoring critical paths.☆12Jan 13, 2022Updated 4 years ago
- Nomic is a game in which changing the rules is a move. Let's play!☆10Jul 11, 2025Updated 7 months ago
- ☆12Nov 22, 2024Updated last year
- Peter Taylor research☆10Jul 18, 2015Updated 10 years ago
- Residual Quantization Autoencoder, used for interpreting LLMs☆14Jan 1, 2025Updated last year
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- ☆10Jan 14, 2026Updated last month
- A CPP Console application that uses ftxui, and find the path between two points using diferent algoritms.☆13Jan 28, 2025Updated last year
- C++ code and documentation for the MFlash PKDD'16 publication☆10Oct 25, 2016Updated 9 years ago
- ☆11Dec 6, 2017Updated 8 years ago
- Webpage for popi model☆13Jan 16, 2024Updated 2 years ago
- Planet simulation demo☆12Nov 23, 2018Updated 7 years ago
- Implementation (in progress) of Dieng et al.'s TopicRNN intended to be used as a baseline and starting point.☆10Jun 26, 2018Updated 7 years ago
- ☆20Mar 20, 2025Updated 11 months ago
- User-friendly billing for communal households☆12Jan 6, 2022Updated 4 years ago
- ☆14May 12, 2025Updated 9 months ago
- Implementation of a Whois Server with a redis backend☆15Oct 31, 2010Updated 15 years ago
- ☆11Sep 19, 2023Updated 2 years ago
- Code for Augment & Reduce, a scalable stochastic algorithm for large categorical distributions☆10May 16, 2018Updated 7 years ago
- TensorFlow plugin for Gen probabilistic programming system.☆10Apr 7, 2021Updated 4 years ago
- Communication is an important component in robotic systems. The application goals such as, finding a victim or teleoperate a robot in an …☆11Aug 29, 2017Updated 8 years ago
- ☆12Apr 12, 2020Updated 5 years ago
- ☆11May 8, 2019Updated 6 years ago
- Utility classes for dense and sparse matrices in JCuda☆11Mar 8, 2019Updated 6 years ago
- Time Integration Package☆11Dec 17, 2024Updated last year
- A compiler for higher rank ML with type classes☆13Aug 29, 2020Updated 5 years ago
- A range of tools related to one-endpoint crossing graphs - parsing, format conversion, and evaluation☆11Nov 8, 2022Updated 3 years ago
- libpypa is a Python parser implemented in pure C++☆10May 10, 2015Updated 10 years ago
- A Tensorflow Implementation of CNN BLSTM CTC Architecture☆11Jan 23, 2018Updated 8 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Wind River Linux Setup -- Distribution Build Project Assembler☆12Oct 2, 2019Updated 6 years ago
- NeuralTokenizer is a very simple to use text tokenizer which uses neural networks from the SimpleDNN library.☆10Jun 18, 2020Updated 5 years ago
- Regular Invariant Generator and SMTLIB2 code transformer☆13Aug 8, 2022Updated 3 years ago
- Chocolatey packages for JetBrains products.☆15Sep 22, 2017Updated 8 years ago