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.
  ☆32Updated 6 months ago
• nikodemus / foolang
  A toy programming language.
  ☆41Updated last year
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆29Updated 3 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated last year
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• xieyuheng / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆36Updated last week
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆69Updated last week
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆12Updated last year
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆37Updated 4 months ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆29Updated 4 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆20Updated 3 years ago
• hellerve-pl-experiments / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆38Updated 5 years ago
• jasonnyberg / j2
  j2 is a minimalist concatenative programming language that makes up for its simplicity by its ability to natively bind with C libraries' …
  ☆45Updated 6 months ago
• caius-iulius / spinnaker
  ☆26Updated 2 years ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆41Updated 3 years ago
• koka-lang / nodec
  NodeC -- A lean NodeJS in C using algebraic effect handlers.
  ☆37Updated 6 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• bsaleil / lc
  JIT compiler for Scheme targeting x86-64 platforms
  ☆31Updated 6 years ago
• area9innovation / wase
  WebAssembly made easy
  ☆46Updated 2 years ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆28Updated 13 years ago
• scala-native / immix
  Pluggable implementation of Immix garbage collector.
  ☆54Updated 7 years ago
• organix / mycelia
  A bare-metal actor operating system for Raspberry Pi.
  ☆67Updated 2 months ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆19Updated 3 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆64Updated last week
• amshafer / Pinch
  A simple borrow-checked language built using LLVM's MLIR
  ☆26Updated 5 years ago
• rems-project / cn
  CN separation logic refinement type system for C
  ☆39Updated last week