Alternatives and similar repositories for ts-wolfram

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

• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated last week
• HnimNart / deeplearning
  ☆53Updated 3 months ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆76Updated last year
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆137Updated last week
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• Spockuto / LSystems
  Fiddling with Lindenmayer systems
  ☆15Updated 2 years ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 9 months ago
• WolframResearch / codeparser
  Parse Wolfram Language source code as abstract syntax trees (ASTs) or concrete syntax trees (CSTs)
  ☆144Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• mxmlnkn / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆66Updated 2 years ago
• ia0 / lafont
  Animation of Yves Lafont's Interaction Combinators
  ☆20Updated 3 years ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 3 months ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆119Updated last week
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆31Updated 4 years ago
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆39Updated last year
• mwillsey / egg
  egg is a flexible, high-performance e-graph library
  ☆13Updated last year
• alt-romes / reference-counting
  Reference counting with linear types
  ☆31Updated 3 weeks ago
• leanprover-community / con-nf
  A formal consistency proof of Quine's set theory New Foundations
  ☆75Updated 5 months ago
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆73Updated 4 months ago
• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 8 months ago
• metamath / metamath-knife
  Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.
  ☆37Updated 7 months ago
• eudoxia0 / sm2
  The SM-2 algorithm.
  ☆22Updated 11 months ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆16Updated 3 years ago
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated last year
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated 9 months ago
• Dicklesworthstone / grassmann_article
  ☆52Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆32Updated 4 years ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆136Updated 3 months ago
• mathlingua / mathlingua
  Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…
  ☆70Updated 9 months ago