Alternatives and similar repositories for formula-parser

Users that are interested in formula-parser are comparing it to the libraries listed below

• bootstrapworld / codemirror-blocks
  A library for building language-specific, CodeMirror-friendly editors that are a11y-friendly.
  ☆29Updated 2 years ago
• CategoricalData / catdb
  Category theory in Coq, by Jason Gross
  ☆16Updated 11 years ago
• jdoughertyii / hott-species
  Combinatorial species in HoTT
  ☆12Updated 10 years ago
• GJDuck / SAT.js
  A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)
  ☆47Updated 11 years ago
• davidar / TeX.js
  TeXify: Typesetting for the Web
  ☆48Updated 2 years ago
• tyrasd / jxon
  lossless JavaScript XML Object Notation
  ☆88Updated 4 years ago
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆26Updated 12 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 6 years ago
• janpaul123 / jsdares
  Learn and explore JavaScript, and create your own dares!
  ☆143Updated 4 years ago
• cmungall / cltools
  tools for common-logic
  ☆22Updated 12 years ago
• fnogatz / CHR.js
  Compile and run Constraint Handling Rules (CHR) in JavaScript
  ☆107Updated 2 years ago
• cpitclaudel / z3.wasm
  WASM builds of the Z3 SMT solver
  ☆151Updated 5 years ago
• sto0pkid / CategoryTheory
  Category Theory in Agda
  ☆13Updated 8 years ago
• zzzev / observable-press
  An opinionated way to publish Observable (observablehq.com) notebooks.
  ☆20Updated 2 years ago
• byorgey / species
  ☆17Updated 4 months ago
• harc / relax-overveld
  This is a library for "Overveld-style" constraint relaxation.
  ☆69Updated 2 years ago
• spechub / Hets
  The Heterogeneous Tool Set
  ☆60Updated 4 months ago
• anmavrid / DesignBIP
  ☆11Updated 8 years ago
• ChalmersGU-AI-course / shrdlite-course-project
  AI course project template, inspired by Terry Winograd's classic Shrdlu system
  ☆40Updated 8 years ago
• frictionlessdata / tableschema-js
  A JavaScript library for working with Table Schema.
  ☆85Updated 2 years ago
• Treora / quoteurl
  Allow URLs to point to any text piece in a document
  ☆16Updated 8 years ago
• agda-attic / agda-system-io
  Bindings to Haskell's IO monad which respect Agda's semantics
  ☆24Updated 7 years ago
• w3c / omn
  W3C Federated Infrastructures Community Group
  ☆22Updated 5 years ago
• langston-barrett / reed-thesis
  My undergradate thesis on coinductive types in univalent type theory
  ☆17Updated 7 years ago
• stevenliuyi / wikidata-prop-explorer
  Wikidata property explorer
  ☆17Updated last year
• trbabb / ramen
  A node-based visual programming language editor in React
  ☆12Updated 8 years ago
• math-comp / multinomials
  Multinomials for the Mathematical Components library.
  ☆16Updated 3 months ago
• mrocklin / matrix-algebra
  An algebra for Matrix Expressions written in Maude
  ☆24Updated 13 years ago
• GrammaticalFramework / gf-wordnet
  A WordNet in GF
  ☆28Updated last week
• rubensworks / rdf-parse.js
  Parses RDF from any serialization
  ☆65Updated last week