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 7 months ago
• nikodemus / foolang
  A toy programming language.
  ☆39Updated last year
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆29Updated this week
• SomewhatML / match-compile
  A small example of a source->source pattern matching to decision tree compiler
  ☆14Updated 4 years ago
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated last year
• owainlewis / bridge
  A type-safe, stack-based functional programming language
  ☆16Updated last month
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆30Updated 3 years ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• lambduli / minilog
  A small logic programming language.
  ☆16Updated 10 months ago
• FStarLang / pulse
  The Pulse separation logic DSL for F*
  ☆14Updated this week
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆33Updated last month
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 9 months ago
• graydon / exhaustigen
  ☆11Updated 3 years ago
• caius-iulius / spinnaker
  ☆27Updated last year
• GrantMatejka / rasm
  Racket to WebAssembly Compiler
  ☆32Updated 2 months ago
• BookOwl / type-inference
  Hindley Milner Type Inference in Rust
  ☆12Updated 7 years ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆1Updated last year
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• cfallin / waffle
  ☆58Updated 6 months ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 7 months ago
• SOM-st / som-java
  SOM - Simple Object Machine (plain Java implementation)
  ☆19Updated last month
• adam-mcdaniel / maroon-lang
  A (nearly) pure functional programming language.
  ☆24Updated 6 years ago
• norswap / uranium
  Semantic analysis framework
  ☆14Updated 2 years ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• eashanhatti / konna
  ☆16Updated 2 years ago
• mcy / alkyne
  ☆23Updated 3 years ago
• tweag / haskell-binaryen
  Haskell bindings to binaryen.
  ☆14Updated 3 years ago