Alternatives and similar repositories for karasu

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

• thautwarm / DianaScript-JIT
  ☆18Updated 3 years ago
• SchrodingerZhu / reussir-lang
  The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.
  ☆16Updated 3 months ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• xieyuheng / cell-complex
  Libraries and tools for topological and geometric modeling.
  ☆18Updated 3 months ago
• thautwarm / UPL
  A compiler for higher rank ML with type classes
  ☆13Updated 4 years ago
• xieyuheng / cicada-rs
  old cicada attempt in rs
  ☆4Updated last year
• Hirevo / koak
  A compiler for a little statically-typed language implemented in Haskell.
  ☆13Updated 6 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 / DianaVM
  Diana... 🥳🥳🥳Diana, suki🤤🤤🤤
  ☆11Updated 3 years ago
• thautwarm / plfp
  my slides for sharing in our Lab, integrated as the series Programming Languages for Fun and Practice
  ☆10Updated 5 years ago
• mingodad / picat
  My unofficial picat http://picat-lang.org/ repository
  ☆29Updated last year
• remexre / evaltrees
  A simple term-rewriting interpreter that displays intermediate expressions.
  ☆14Updated last month
• zxch3n / moon-crdt
  ☆14Updated 8 months ago
• thautwarm / DIO.jl
  Julia implementation for Python Restrain JIT
  ☆22Updated 4 years ago
• RemuLang / remu-type-system
  type-system, revised unification algorithm and runtime time representations
  ☆14Updated 5 years ago
• SchrodingerZhu / VNMCC
  Very Naive MIPS CPU using Clash
  ☆29Updated 3 years ago
• RobertHarper / nsml
  SML The Living Language
  ☆11Updated 11 years ago
• thautwarm / MLFS.jl
  MLFS type system: raising ML to the power of system F in a Simplest way
  ☆19Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆14Updated 5 years ago
• thautwarm / vscode-diana
  a VSCode plugin to provide basic language support for DianaScript
  ☆10Updated 3 years ago
• tonyxty / hStacks
  Stacks project, from a homotopy type theory point-of-view (hPOV)
  ☆14Updated 4 years ago
• eliphatfs / yapyjit
  Yet another python JIT.
  ☆20Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• be5invis / PatEL
  The Patrisika Example Language
  ☆45Updated 7 months ago
• herbie-fp / egg-herbie
  An interface for using mwillsey/egg with math simplification.
  ☆13Updated last year
• coquelicot / PyDSL
  A runtime DSL parser generator for python.
  ☆18Updated 9 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 2 years ago
• HnimNart / deeplearning
  ☆53Updated 4 years ago
• pest-parser / site
  This repo contains the source code for https://pest.rs
  ☆13Updated 3 months ago