Alternatives and similar repositories for Lite

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

• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated this week
• fluo-lang / fluoc
  a concurrent compiled programming language
  ☆15Updated 2 years ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆1Updated last year
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆32Updated 4 months ago
• hydrolarus / cytosol
  A programming language somewhat resembling cellular processes.
  ☆34Updated 3 years ago
• mikelma / oktac
  okta programming language compiler. THIS IS A MIRROR OF THE ORIGINAL REPO HOSTED IN SOURCEHUT.
  ☆27Updated 3 years ago
• mb64 / prolog
  A simple prolog implementation in Rust
  ☆26Updated 4 years ago
• ThePuzzlemaker / tethys
  A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht
  ☆16Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated last year
• bichanna / castella
  Basically the C programming language peppered with my preferences
  ☆12Updated 2 weeks ago
• 05st / artemis
  Statically typed, high-level functional programming language.
  ☆17Updated 3 years ago
• fluid-lang / fluid
  The Fluid Programming Language
  ☆22Updated 4 years ago
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 4 months ago
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 7 months ago
• ltratt / rustbfs
  Rust BF interpreters
  ☆12Updated last year
• azur1s / holymer
  (WIP) A programming language
  ☆42Updated 4 months ago
• playXE / migc
  Simple conservative GC using mimalloc
  ☆40Updated 2 years ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• Techno-coder / lucent
  A transparent systems programming language. Check out the next-prototype branch! On indefinite hiatus.
  ☆11Updated 2 years ago
• naalit / pika
  A WIP little dependently-typed systems language
  ☆41Updated 9 months ago
• r0nsha / chili
  General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™
  ☆43Updated 2 years ago
• transistorfet / molten
  An LLVM compiler for an ML-like language (written in Rust)
  ☆60Updated 3 years ago
• Blazify / blazex
  AOT compiled object oriented programming language
  ☆47Updated last year
• maybevoid / lambek
  Type-Level Programming in Rust
  ☆27Updated 3 years ago
• Starlight-JS / comet
  Garbage collector library
  ☆23Updated 3 years ago
• jacylang / jacy
  Jacy programming language
  ☆13Updated 3 years ago
• langjam / jam0002
  ☆38Updated 3 years ago
• kengorab / abra-lang
  🧙‍♂️A small programming language with static typing and native compilation, selfhosted
  ☆36Updated this week
• iwillspeak / ullage
  A statically-typed compiled language defined by a simple grammar
  ☆24Updated 2 years ago
• oliver-giersch / looqueue-rs
  Fast, concurrent, safe MPMC & MPSC FIFO queue implementation
  ☆11Updated 3 years ago