ThetaLang / Theta
θ A statically typed, functional programming language that compiles to WebAssembly
☆38Updated 2 months ago
Alternatives and similar repositories for Theta:
Users that are interested in Theta are comparing it to the libraries listed below
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆31Updated last week
- High performance compiled language with simplicity and safety.☆48Updated 9 months ago
- An menu/quick reference for Programming Language concepts☆20Updated 9 months ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆69Updated last month
- ☆27Updated last year
- Glide programming language☆41Updated 2 years ago
- Zang is a dynamically typed high level programming language.☆33Updated last year
- The Core Programming Language☆50Updated this week
- A graph-oriented intermediate representation, optimization framework, and machine code generator.☆26Updated this week
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆28Updated 7 months ago
- An attempt to write a compiler in Rust☆24Updated last year
- A WIP little dependently-typed systems language☆40Updated 5 months ago
- An interpreter for the 1991 Oriel scripting language☆56Updated 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…☆33Updated this week
- an interactive programming language☆35Updated this week
- Argon programming language☆51Updated 4 months ago
- siko☆14Updated last year
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆11Updated 2 years ago
- A simple programming language for researching different ways of program execution and compilation☆29Updated 3 months ago
- A fast, concurrent and embeddable scripting language☆44Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated 2 months ago
- The Egel Programming Language☆84Updated 3 weeks ago
- McLulang: The message is the language☆10Updated 4 months ago
- A toy programming language I wrote in late 2022☆24Updated 9 months ago
- ☆29Updated 3 months ago
- General-purpose, compiled programming language, focused on productivity, expressiveness and joy of programming™☆42Updated 2 years ago
- ☆38Updated 3 years ago
- LR(1) and LALR parsing tools app to learn compilers and language theory☆20Updated 2 months ago
- Bootstrap compiler for Firefly☆52Updated this week
- Statically typed general purpose programming language☆0Updated 9 months ago