ThetaLang / ThetaLinks
θ A statically typed, functional programming language that compiles to WebAssembly
☆39Updated 6 months ago
Alternatives and similar repositories for Theta
Users that are interested in Theta are comparing it to the libraries listed below
Sorting:
- Zig Optimizing Backend☆20Updated last week
- moved to https://codeberg.org/core-lang/core☆52Updated 4 months ago
- High performance compiled language with simplicity and safety.☆49Updated last year
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆35Updated 3 weeks ago
- McLulang: The message is the language☆10Updated 9 months ago
- A graph-oriented intermediate representation, optimization framework, and machine code generator.☆30Updated 2 weeks ago
- Statically typed general purpose programming language☆1Updated last year
- A toy programming language I wrote in late 2022☆23Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 4 months ago
- Performance comparisons between various virtual interpreter implementation strategies☆42Updated last year
- Fir programming language☆53Updated this week
- An experimental programming language for ergonomic software verification☆16Updated this week
- an interactive programming language☆42Updated last week
- The Pulse separation logic DSL for F*☆16Updated last week
- A ridiculous Python interpreter written—from scratch—in Rust.☆21Updated this week
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- 👌 A smol functional language that targets other languages☆62Updated last year
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆79Updated 3 months ago
- ☆26Updated last year
- minimalistic symbolic term rewriting framework☆15Updated 3 weeks ago
- Glide programming language☆41Updated 2 years ago
- Scribe Reference Compiler☆22Updated 3 weeks ago
- [mirror] Zig bindings for pixman☆10Updated last month
- An menu/quick reference for Programming Language concepts☆20Updated last year
- Zang is a dynamically typed high level programming language.☆35Updated 2 years ago
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference☆50Updated 3 months ago
- Basically the C programming language peppered with my preferences☆12Updated last week
- EeZee Language - Compiler Engineering Basics☆23Updated this week
- the WebAssembly partial evaluator☆55Updated 6 months ago
- The Fuzion Language Implementation☆54Updated this week