Alternatives and similar repositories for kavascript:

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

• nikodemus / foolang
  A toy programming language.
  ☆37Updated last year
• caius-iulius / spinnaker
  ☆27Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆29Updated 3 years ago
• cicada-lang / inet-forth
  An implementation of interaction nets as a forth-like language.
  ☆25Updated last week
• raviqqe / fmm
  The uncurried minimal functional programming language for CPS transformation
  ☆18Updated 10 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆10Updated 4 months ago
• graydon / exhaustigen
  ☆10Updated 3 years ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆0Updated 9 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• tobega / tailspin-v0
  A programming language with extreme data-pattern matching and data-declarative syntax, hopefully different enough to be interesting
  ☆40Updated 3 weeks ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 4 years 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
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 2 years ago
• wenyuzhao / mmtk-core
  Memory Management ToolKit
  ☆31Updated last week
• rochus-keller / Som
  Parser, code model, navigable browser and VM for the SOM Smalltalk dialect
  ☆27Updated 2 years ago
• lambduli / minilog
  A small logic programming language.
  ☆15Updated 8 months ago
• rusini / manool
  Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…
  ☆63Updated 7 months ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated 2 months ago
• skrah / minicaml
  Compiler for a very restricted subset of OCaml
  ☆24Updated 9 years ago
• rasendubi / alpha
  A newborn programming language for extensible software
  ☆16Updated 3 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆40Updated 5 months ago
• fir-lang / fir
  ☆31Updated this week
• NicholasLYang / saber
  An attempt to write a compiler in Rust
  ☆24Updated last year
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• I-mikan-I / zlox
  lox virtual machine implementation in zig!
  ☆27Updated 2 years ago
• jkoppel / ecta
  ☆33Updated 9 months ago
• eatonphil / one-pass-code-generation-in-v8
  One-pass Code Generation in V8 (Archive)
  ☆19Updated 2 years ago
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆23Updated 2 years ago