Alternatives and similar repositories for ts-wolfram

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

• lf94 / paizo-programmer
  An ergonomic, mobile-first, Prolog playground!
  ☆31Updated 3 years ago
• nirvanasupermind / owlet
  Programming language for ternary computing
  ☆31Updated 4 years ago
• razetime / efficient-array-programming
  A collection of documents and writings on efficient programming in array-oriented languages akin to APL.
  ☆76Updated last year
• jamespwilliams / prolog-isolation-checker
  An encoding of the UK's self-isolation rules in Prolog
  ☆34Updated 4 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆118Updated last week
• coil-language / coil-lang
  The Coil Programming Language
  ☆33Updated last year
• HnimNart / deeplearning
  ☆53Updated 2 months ago
• statusfailed / open-hypergraphs
  a datastructure for scalable combinatorial syntax
  ☆19Updated 8 months ago
• willcrichton / model-js-workspace
  My personal standard for how to set up a Javascript workspace
  ☆15Updated 2 years ago
• andrewcmyers / constrain
  Responsive, animated figures in JavaScript/HTML canvases
  ☆135Updated 3 weeks ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated 2 months ago
• phoenicyan / combinadics
  fast combinations calculation in jax
  ☆38Updated last year
• mathlingua / mathlore-content
  A repository of mathematical knowledge written in the Mathlingua language.
  ☆17Updated 11 months ago
• mpatajac / jillc
  Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)
  ☆80Updated 7 months ago
• spl / ivy
  A compiler and runtime library for an extended dialect of C that checks type, memory, and concurrency safety
  ☆16Updated 9 years ago
• lf94 / summonscript
  Manifest manifold models with magical machinations.
  ☆38Updated this week
• c0stya / brzozowski
  Brzozowski derivative python sketch
  ☆85Updated 6 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆100Updated 4 years ago
• BobMcDear / trap
  Autoregressive transformers in APL
  ☆106Updated last month
• mxmlnkn / fft-image-experiments
  Experiments with applying Fourier transofrms to various plane-filling curves and patterns
  ☆66Updated 2 years ago
• neelsomani / cuq
  Cuq: A MIR-to-Coq Framework Targeting PTX for Formal Semantics and Verified Translation of Rust GPU Kernels
  ☆82Updated last week
• fraware / leanverifier
  Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …
  ☆67Updated 3 months ago
• Jeadie / Go-L
  Game of Life with different update rules and on a bunch of different topologies (sphere, torus, klein bottle, etc.)
  ☆59Updated 2 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆30Updated last year
• jamespfennell / new-typesetting-system
  GitHub copy of the NTS/TeX source code from 2001
  ☆31Updated 4 years ago
• smucclaw / dsl
  Domain Specific Languages for Computational Law
  ☆77Updated 4 months ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆76Updated 2 weeks ago
• ndrwnaguib / principia
  Rewriting Principia Mathematica in Lean
  ☆135Updated last month
• loda-lang / loda-programs
  LODA Programs for Integer Sequences
  ☆36Updated this week