Alternatives and similar repositories for Theta:

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

• vezel-dev / graf
  A graph-oriented intermediate representation, optimization framework, and machine code generator.
  ☆31Updated this week
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆31Updated 2 months ago
• ki-lang / ki
  High performance compiled language with simplicity and safety.
  ☆48Updated 11 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 this week
• elijah-potter / thrax-language
  A toy programming language I wrote in late 2022
  ☆24Updated 11 months ago
• core-lang / core
  moved to https://codeberg.org/core-lang/core
  ☆54Updated last month
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆52Updated this week
• moirai-lang / moirai-kt
  A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…
  ☆30Updated 9 months ago
• tokiwa-software / fuzion
  The Fuzion Language Implementation
  ☆51Updated this week
• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆42Updated last month
• Verdagon / Vale
  Compiler for the Vale programming language - http://vale.dev/
  ☆31Updated 9 months ago
• ArgonLang / Argon
  Argon programming language
  ☆52Updated 6 months ago
• dibsonthis / Glide--old
  Glide programming language
  ☆41Updated 2 years ago
• siko-lang / siko_old
  siko
  ☆14Updated last year
• caius-iulius / spinnaker
  ☆27Updated last year
• playXE / migc
  Simple conservative GC using mimalloc
  ☆39Updated 2 years ago
• Cypher1 / tako
  An experimental programming language for ergonomic software verification
  ☆16Updated last week
• cmspeedrunner / Zang
  Zang is a dynamically typed high level programming language.
  ☆34Updated last year
• zigwasm / wasm-zig
  Common Wasm runtime binding to C API
  ☆27Updated last year
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆20Updated 11 months ago
• taolson / Admiran
  Admiran compiler, library, and examples
  ☆60Updated this week
• rush-rs / rush
  A simple programming language for researching different ways of program execution and compilation
  ☆31Updated 5 months ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• Usbac / borealis
  The elegant and consistent programming language.
  ☆32Updated last year
• booniepepper / zig-data-structures
  ☆17Updated last year
• BitlyTwiser / zinger
  Simple HTTP request library for Zig applications
  ☆12Updated 2 months ago
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆72Updated last month
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated 2 months ago
• radarroark / xitdb
  an immutable database for zig
  ☆21Updated 3 weeks ago