A parser class for simple formulae.
☆12Feb 21, 2017Updated 9 years ago
Alternatives and similar repositories for formula-parser
Users that are interested in formula-parser are comparing it to the libraries listed below
Sorting:
- Template for deploying TypeScript projects with Cloudflare Workers + Wrangler, using custom build support with ESBuild.☆12Jan 23, 2022Updated 4 years ago
- Jumbucks - Official repository☆12Jan 26, 2017Updated 9 years ago
- Website for the beautifier project☆14Feb 7, 2026Updated last month
- ☆10Feb 23, 2026Updated 3 weeks ago
- Turn a string of hexadecimal characters into an `ArrayBuffer`☆10Jul 24, 2021Updated 4 years ago
- Recursive repeater for angular.js☆45Aug 27, 2016Updated 9 years ago
- A static analyzer to generate Choreography Automata from Erlang source.☆12Dec 30, 2025Updated 2 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Mar 11, 2026Updated last week
- ☆24Mar 27, 2013Updated 12 years ago
- 上线前去掉调试代码的Babel插件☆19Nov 20, 2018Updated 7 years ago
- Carles Pina Estany's 2020 Tool Fund: data managers and researchers collaborate to write the Frictionless Data packages, tabular schemas, …☆18Mar 5, 2023Updated 3 years ago
- NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle☆16Nov 20, 2022Updated 3 years ago
- Pinkcoin 2 Qt wallet and daemon☆28Jan 31, 2026Updated last month
- IJCAI-24 Tutorial on Counterfactual Explanations: https://sites.google.com/view/tut-counterfactuals-ijcai24/☆12Aug 5, 2024Updated last year
- Tags for gunDB☆13Jul 15, 2017Updated 8 years ago
- A tiny tikzzz editor in the browser☆10Mar 29, 2025Updated 11 months ago
- Plugin QGIS pour la consultation des données des différentes Infrastructure de Données Géographiques en France☆17Jun 17, 2025Updated 9 months ago
- Another attempt for visualizing proofs☆12Nov 19, 2024Updated last year
- ☆26Jul 25, 2010Updated 15 years ago
- draw a beautiful christmas tree in ascii using Golang☆15Oct 19, 2018Updated 7 years ago
- Implementation and experiment of the MusGConv paper.☆15Sep 6, 2024Updated last year
- Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.☆12Oct 26, 2025Updated 4 months ago
- Collaborative Game of Life☆14Jun 27, 2025Updated 8 months ago
- Langage et environnements dédiés à l’algorithmique.☆13Jan 2, 2020Updated 6 years ago
- Parse and generate MQTT-SN packets☆14Jan 25, 2021Updated 5 years ago
- Library for Data Decision Diagrams and Set Decision Diagrams☆16Sep 10, 2025Updated 6 months ago
- An exploration and implementation of the lambda calculus.☆12Oct 18, 2016Updated 9 years ago
- Programming Projects for Intermediate Learners☆13Sep 3, 2021Updated 4 years ago
- Make LilyPond's notational elements available in Lua- and XeLaTeX☆30Sep 27, 2020Updated 5 years ago
- Arithmetic coding algorithm implemented in Node.js, both API and CLI support. 算术编码 npm 包，支持 API 调用和 CLI。☆11Mar 31, 2019Updated 6 years ago
- General purpose program synthetiser with existing Programming By Examples (PBE) pipeline☆21Jan 3, 2026Updated 2 months ago
- Apple's JavaScript Engine, with modified project files for Android☆15Jun 9, 2014Updated 11 years ago
- A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.☆13May 21, 2021Updated 4 years ago
- Contains parsers and serializers for ASN.1 (currently BER only)☆63Sep 28, 2022Updated 3 years ago
- State cache for WebGL Rendering Context☆17Jun 3, 2018Updated 7 years ago
- Chrome Extension. Use bookmarks and bookmarklets from the context menu.☆15Nov 4, 2015Updated 10 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 9 years ago
- Libp2p / IPFS terminal-based chat☆14Jan 6, 2023Updated 3 years ago