Alternatives and similar repositories for karasu

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

• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 7 months ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆17Updated 9 months ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 5 years ago
• thautwarm / DianaScript-JIT
  ☆18Updated 4 years ago
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years 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
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 4 years ago
• thautwarm / frontend-for-free
  end the parsing problem
  ☆40Updated 3 years ago
• owo-lang / narc-rs
  (WIP) Dependently-typed programming language with Agda style dependent pattern matching
  ☆80Updated 5 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 5 years ago
• cicada-lang / cicada-solo
  Cicada Language (solo version)
  ☆128Updated last year
• owo-lang / voile-rs
  Dependently-typed row-polymorphic programming language, evolved from minitt-rs
  ☆99Updated 5 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 4 years ago
• owo-lang / OwO
  Placeholder for the OwO compiler
  ☆60Updated 6 years ago
• lclem / agda-kernel
  An experimental Agda kernel for Jupyter
  ☆24Updated 3 years ago
• coquelicot / PyDSL
  A runtime DSL parser generator for python.
  ☆18Updated 9 years ago
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆43Updated 2 weeks ago
• WolframResearch / wolfram-expr-rs
  Representing Wolfram Language expressions in Rust.
  ☆22Updated 2 years ago
• coffeemug / ts-wolfram
  A toy Wolfram language interpreter.
  ☆39Updated last year
• thautwarm / RSolve
  Ask for solutions.
  ☆19Updated 6 years ago
• cicada-lang / cicada-plct
  Cicada Language (PLCT little team)
  ☆94Updated last year
• ncatlab / nlab-content
  A file-based mirror of the nLab wiki (Markdown+itex2MML format).
  ☆35Updated this week
• SpectralSequences / sseq
  The root repository for the SpectralSequences project.
  ☆32Updated 3 weeks 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 6 years ago
• vmchale / phash
  Perceptual hashing command-line tool
  ☆19Updated 3 weeks ago
• symengine / symengine.hs
  Haskell bindings to SymEngine
  ☆27Updated 2 years ago
• sonoisa / XyJax
  Xy-pic extension for MathJax
  ☆63Updated 5 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 6 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago