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 4 years ago
• thautwarm / DianaScript-JIT
  ☆18Updated 3 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 3 years ago
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 3 years ago
• thautwarm / vscode-diana
  a VSCode plugin to provide basic language support for DianaScript
  ☆10Updated 3 years ago
• matjp / dvi-decode
  Decode DVI files generated by LuaTeX
  ☆10Updated last year
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆3Updated last year
• thautwarm / DianaVM
  Diana... 🥳🥳🥳Diana, suki🤤🤤🤤
  ☆11Updated 3 years ago
• woodrush / lambda-calculus-devkit
  A collection of lambda calculus interpreters and development tools
  ☆14Updated 2 years ago
• zxch3n / moon-crdt
  ☆14Updated 3 months ago
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated 2 years ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆9Updated 4 years ago
• be5invis / dwtr
  A text rendering utility
  ☆11Updated 6 months ago
• andelf / diffmatchpatch
  diff-match-patch in Rust
  ☆16Updated last year
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• rose-lang / rose
  Composable autodiff for the interactive web.
  ☆23Updated 4 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• XCH-CEB / xch-project
  A high-performance chemical equation parser and balancer
  ☆25Updated 2 years ago
• rroohhh / draw
  not infinite, but huge canvas collaborative vector drawing program
  ☆11Updated 6 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 5 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆15Updated this week
• gatapia / unicode-math-vscode
  Easy insertion of unicode math symbols
  ☆50Updated 2 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• DanGrayson / Ktheory
  formalization of theorems of higher algebraic K-theory
  ☆8Updated 10 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆20Updated 4 years ago
• uakci / jvozba
  An O(n) implementation of the lujvo-making algorithm to save the world.
  ☆4Updated 3 years ago
• Z-Shang / fpy
  Python module for composing computations
  ☆26Updated last year
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• femtomc / abstraps
  Pull your compiler up with abstract bootstraps.
  ☆31Updated 2 years ago