ThetaLang / Theta
θ A statically typed, functional programming language that compiles to WebAssembly
☆38Updated 4 months ago
Alternatives and similar repositories for Theta:
Users that are interested in Theta are comparing it to the libraries listed below
- A graph-oriented intermediate representation, optimization framework, and machine code generator.☆31Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated 2 months ago
- High performance compiled language with simplicity and safety.☆48Updated 11 months ago
- 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
- A toy programming language I wrote in late 2022☆24Updated 11 months ago
- moved to https://codeberg.org/core-lang/core☆54Updated last month
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- Bootstrap compiler for Firefly☆52Updated this week
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆30Updated 9 months ago
- The Fuzion Language Implementation☆51Updated this week
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆42Updated last month
- Compiler for the Vale programming language - http://vale.dev/☆31Updated 9 months ago
- Argon programming language☆52Updated 6 months ago
- Glide programming language☆41Updated 2 years ago
- siko☆14Updated last year
- ☆27Updated last year
- Simple conservative GC using mimalloc☆39Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated last week
- Zang is a dynamically typed high level programming language.☆34Updated last year
- Common Wasm runtime binding to C API☆27Updated last year
- An menu/quick reference for Programming Language concepts☆20Updated 11 months ago
- Admiran compiler, library, and examples☆60Updated this week
- A simple programming language for researching different ways of program execution and compilation☆31Updated 5 months ago
- The Nox programming language☆29Updated last year
- The elegant and consistent programming language.☆32Updated last year
- ☆17Updated last year
- Simple HTTP request library for Zig applications☆12Updated 2 months ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆72Updated last month
- Scribe Reference Compiler☆22Updated 2 months ago
- an immutable database for zig☆21Updated 3 weeks ago