Alternatives and similar repositories for Theta:

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

• Rexicon226 / zob
  Zig Optimizing Backend
  ☆20Updated this week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated 3 months ago
• FlatAssembler / AECforWebAssembly
  A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…
  ☆34Updated last week
• ki-lang / ki
  High performance compiled language with simplicity and safety.
  ☆49Updated last year
• vezel-dev / graf
  A graph-oriented intermediate representation, optimization framework, and machine code generator.
  ☆32Updated last week
• tearflake / symbolverse
  minimalistic symbolic term rewriting framework
  ☆15Updated this week
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆54Updated 3 months ago
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆45Updated 2 months ago
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 4 months ago
• kengorab / abra-lang
  🧙‍♂️A small programming language with static typing and native compilation, selfhosted
  ☆36Updated this week
• bytecodealliance / weval
  the WebAssembly partial evaluator
  ☆55Updated 5 months ago
• 418e / Tron
  Statically typed general purpose programming language
  ☆1Updated last year
• profullstack / smashlang
  A fully programmable, multi-platform, syntax-slick modern language. Let’s finish this strong. 💪
  ☆16Updated 3 weeks ago
• ArgonLang / Argon
  Argon programming language
  ☆52Updated 7 months ago
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆62Updated last week
• tokiwa-software / fuzion
  The Fuzion Language Implementation
  ☆54Updated this week
• soil-vm / soil
  A byte code specification and a JIT-compiler written in Assembly.
  ☆12Updated 4 months ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated last year
• caius-iulius / spinnaker
  ☆27Updated last year
• MarcelGarus / martinaise
  A small, statically typed, low-level programming language.
  ☆21Updated 3 weeks ago
• elijah-potter / thrax-language
  A toy programming language I wrote in late 2022
  ☆23Updated last year
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆32Updated 7 months ago
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆54Updated this week
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆42Updated last year
• MarcelGarus / plum
  A small, functional, cozy programming language.
  ☆17Updated this week
• RyanBrewer317 / cricket_rs
  A tiny lazy objective functional language
  ☆16Updated 7 months ago
• clflushopt / coldbrew
  Tracing JIT compiler and runtime for a subset of the JVM
  ☆24Updated last year
• radarroark / xitdb
  an immutable database for zig
  ☆23Updated 2 weeks ago
• OCamlPro / owi
  Symbolic execution for Wasm, C, C++, Rust and Zig
  ☆202Updated this week
• cmspeedrunner / Zang
  Zang is a dynamically typed high level programming language.
  ☆35Updated 2 years ago