Alternatives and similar repositories for Theta:

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

• ki-lang / ki
  High performance compiled language with simplicity and safety.
  ☆48Updated 7 months ago
• caius-iulius / spinnaker
  ☆27Updated last year
• kjosib / sophie
  A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
  ☆30Updated 3 weeks ago
• moirai-lang / moirai-kt
  A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…
  ☆28Updated 5 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…
  ☆31Updated last month
• Ahnfelt / firefly-boot
  Bootstrap compiler for Firefly
  ☆50Updated this week
• core-lang / core
  The Core Programming Language
  ☆45Updated 2 weeks ago
• capy-language / capy
  🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.
  ☆64Updated 4 months ago
• coetaur0 / nox
  The Nox programming language
  ☆29Updated last year
• cmspeedrunner / Zang
  Zang is a dynamically typed high level programming language.
  ☆33Updated last year
• dibsonthis / Glide--old
  Glide programming language
  ☆41Updated last year
• scribe-lang / scribe
  Scribe Reference Compiler
  ☆22Updated last month
• wojciech-graj / oriel
  An interpreter for the 1991 Oriel scripting language
  ☆56Updated last year
• voyd-lang / voyd
  A WebAssembly Language For Full Stack Web Development
  ☆19Updated 2 weeks ago
• andrew-johnson-4 / LSTS
  Large Scale Type Systems (programming language)
  ☆113Updated this week
• Srinivasa314 / neptune-lang
  A fast, concurrent and embeddable scripting language
  ☆44Updated 2 years ago
• glossopoeia / boba
  A general purpose statically-typed concatenative programming language.
  ☆51Updated last year
• formalsec / smtml
  A frontend for multiple SMT solvers in OCaml
  ☆27Updated this week
• almontasser / crust
  A C-like programming language that is similar to Rust's syntax. Toy programming language.
  ☆50Updated 3 months ago
• glyh / awesome-pl-concepts
  An menu/quick reference for Programming Language concepts
  ☆21Updated 7 months ago
• fir-lang / fir
  ☆25Updated last week
• langjam / jam0002
  ☆37Updated 2 years ago
• xqb64 / ucc
  An optimizing compiler for a large subset of the C programming language
  ☆26Updated last month
• Dmitry-Borodkin / voidc
  Programming Language Void
  ☆14Updated this week
• adam-mcdaniel / sage-os
  An operating system🧑‍💻 written using C and Sage
  ☆39Updated 6 months ago
• siko-lang / siko
  siko
  ☆14Updated 10 months ago
• tjammer / schmu
  programming language experiment
  ☆23Updated this week
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆20Updated 2 years ago
• wasmfx / wasmfxtime
  A fork of wasmtime (a fast and secure runtime for WebAssembly) supporting the WasmFX instruction set
  ☆19Updated this week
• imp-language / imp
  Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.
  ☆11Updated 2 years ago