Alternatives and similar repositories for karasu

Users that are interested in karasu are comparing it to the libraries listed below

• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated 6 months ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• kenkangxgwe / Matypetica
  A Type System Attempt for Wolfram Language
  ☆13Updated 4 years ago
• RemuLang / proud
  The programming language I'm proud of: queryable type system, first class polymorphisms(type hole), type classes/traits, module as record…
  ☆14Updated 5 years ago
• thautwarm / DianaScript-JIT
  ☆18Updated 3 years ago
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 4 years ago
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆19Updated last year
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 3 months ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated last month
• fcard / multimethods.rs
  Multiple Dispatch in Rust
  ☆20Updated 6 years ago
• Cirru / text.cirru.org
  Old home page for Cirru Project
  ☆18Updated 2 weeks ago
• thautwarm / Typed-BNF
  Statically typed BNF with semantic actions; safe parser generator applicable to every programming language.
  ☆62Updated 6 months ago
• rljacobson / FoxySheep
  Compiler Technologies for Mathematica/Wolfram Language.
  ☆36Updated 5 years ago
• thautwarm / frontend-for-free
  end the parsing problem
  ☆39Updated 3 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆17Updated 5 months ago
• Mathics3 / mathicsscript
  Terminal CLI to Mathics3
  ☆60Updated 3 weeks ago
• Idris-zh / Idris-dev
  用作文档目的，翻译方式见 Issue #10
  ☆41Updated 6 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆62Updated 4 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆35Updated 11 months ago
• WolframResearch / wstp-rs
  Rust bindings to the Wolfram Symbolic Transport Protocol (WSTP)
  ☆22Updated last year
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆129Updated 9 months ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated 9 months ago
• thautwarm / simple-pl-example
  Implementing a programming language within 20 minutes, also a tutorial for syntax driven parsing with frontend-for-free.
  ☆16Updated 4 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 4 years ago
• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆60Updated 6 years ago
• kedlaya / tetrahedra
  ☆35Updated last month
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• AlephAlpha / LifeFind
  A simple and naïve Game of Life pattern searcher written in Wolfram Language. 用 Mathematica 搜索生命游戏中的图样。
  ☆15Updated 5 years ago