Alternatives and similar repositories for kavascript

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

• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 9 months ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• nikodemus / foolang
  A toy programming language.
  ☆40Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated last month
• caius-iulius / spinnaker
  ☆26Updated last year
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆16Updated this week
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆35Updated 2 weeks ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 4 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 2 years ago
• soren-n / bidi-higher-rank-poly
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22Updated 4 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated 3 months ago
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆27Updated 2 years ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• eashanhatti / konna
  ☆16Updated 3 years ago
• vyorkin / tiger
  A small imperative language that I'm writing while reading the Modern Compiler Implementation in ML by A. Appel.
  ☆24Updated 2 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 4 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• ejrgilbert / whamm
  Debugging WebAssembly? Put some Whamm! on it.
  ☆30Updated last week
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆33Updated 3 weeks ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆40Updated 2 years ago
• tugawa / ejs-new
  ☆17Updated 3 years ago
• GrayJack / tree-sitter-janet
  A tree-sitter grammar parser for Janet
  ☆16Updated 2 years ago
• shwestrick / mpl-1brc
  Solving the 1 Billion Row Challenge in MPL
  ☆17Updated last year
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆19Updated 3 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 11 months ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆91Updated 6 years ago