Alternatives and similar repositories for kavascript

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

• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆33Updated 9 months ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆19Updated last year
• nikodemus / foolang
  A toy programming language.
  ☆41Updated 2 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆12Updated last year
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆38Updated 6 months ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 4 years ago
• ehatti / konna
  ☆16Updated 3 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 3 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆30Updated 3 years ago
• sillycross / WasmNow
  Fast WebAssembly Baseline Compiler
  ☆61Updated 2 years ago
• wingo / wasm-jit
  Test materials for getting JIT support for wizer
  ☆122Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆204Updated 3 years ago
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆33Updated last year
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆44Updated 2 months ago
• jfecher / algorithm-j
  A minimal implementation of Hindley-Milner's Algorithm J in OCaml
  ☆77Updated 4 years ago
• graydon / exhaustigen
  ☆11Updated 4 years ago
• Wasm-DSL / spectec
  Wasm SpecTec specification tools
  ☆84Updated last week
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆64Updated this week
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆39Updated 5 years ago
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆26Updated 5 years ago
• microsoft / Trieste
  A term rewriting system for experimental programming language development.
  ☆48Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆36Updated 2 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆70Updated 2 months ago
• tjammer / schmu
  Mirror of https://codeberg.org/tjammer/schmu
  ☆28Updated this week