Alternatives and similar repositories for ts-wolfram:

Users that are interested in ts-wolfram are comparing it to the libraries listed below

• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆18Updated last month
• JerryI / wl-wlx
  Wolfram Language XML syntax extension (a superset of WL and XML) for building web-apps
  ☆15Updated 2 months ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆16Updated 3 years ago
• arnoudbuzing / prototypes
  miscellaneous wolfram language functions
  ☆30Updated 3 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• pygae / awesome-geometric-algebra
  Awesome Geometric Algebra
  ☆26Updated 4 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 8 months ago
• ImperialCollegeLondon / xena-UROP-2018
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆25Updated 4 years ago
• coil-language / coil-lang
  The Coil Programming Language
  ☆34Updated last year
• ashton314 / muKanren_reading
  [Mirror] A close reading of the μKanren paper.
  ☆42Updated 2 years ago
• calculang / calculang
  calculang is a language for calculations 🧮💬👩‍💻
  ☆54Updated this week
• davidad / chit
  (early experiments toward) a version-control system for structured data
  ☆17Updated last year
• RuleBasedIntegration / Rubi-5
  A Rule-Based Integrator Built On An If-Then-Else Decision Tree
  ☆35Updated 4 years ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆132Updated 8 months ago
• edemaine / mathcestor
  Ancestor/descendant tree from Mathematics Genealogy Project, rendered to HTML
  ☆13Updated 11 months ago
• LingDong- / lbll
  tiny experimental language for limited environments
  ☆17Updated 2 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆112Updated last month
• joshuahhh / drostes-lair
  ☆15Updated this week
• polux / lambda-diagrams
  Animations of lambda term reduction sequences
  ☆114Updated 6 years ago
• erwasm / erwasm-http
  Run erlang as a WASI http server (vapourware)
  ☆26Updated 4 months ago
• barry-jay-personal / blog
  a general blog about my projects, or anything
  ☆15Updated last week
• LAC1213 / compact_unit_ball
  Lean proof that a normed vector space with compact unit ball is finite dimensional
  ☆11Updated 5 years ago
• erigontech / gmp-wasm
  Fork of the GNU Multiple Precision Arithmetic Library (GMP), suitable for compilation into WebAssembly.
  ☆17Updated 4 years ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆68Updated 3 weeks ago
• lukemerrick / InvestorsExchange.jl
  ☆42Updated 2 years ago
• ConnorGray / md2nb
  Markdown to Wolfram Notebook converter
  ☆14Updated 3 years ago
• Tipoca / intuitionistic
  Intuitionistic Programming Language
  ☆11Updated 11 years ago
• engraftdev / engraft
  ☆39Updated this week
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆32Updated 2 months ago