ThetaLang / Theta
θ A statically typed, functional programming language that compiles to WebAssembly
☆38Updated 3 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 month
- High performance compiled language with simplicity and safety.☆48Updated 10 months ago
- Glide programming language☆41Updated 2 years ago
- moved to https://codeberg.org/core-lang/core☆54Updated 3 weeks ago
- Statically typed general purpose programming languageUpdated 10 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…☆33Updated last month
- Argon programming language☆51Updated 5 months ago
- siko☆14Updated last year
- A simple programming language for researching different ways of program execution and compilation☆30Updated 4 months ago
- A toy programming language I wrote in late 2022☆24Updated 10 months ago
- An menu/quick reference for Programming Language concepts☆20Updated 10 months ago
- A port of the CPython implementation of the Python programming language to the zig build system☆26Updated 5 months ago
- ☆29Updated 4 months ago
- ☆27Updated last year
- the WebAssembly partial evaluator☆46Updated 3 months ago
- An interpreter for the 1991 Oriel scripting language☆56Updated last year
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆70Updated this week
- The Egel Programming Language☆84Updated last month
- Bootstrap compiler for Firefly☆52Updated this week
- A graph-oriented intermediate representation, optimization framework, and machine code generator.☆28Updated this week
- an interactive programming language☆35Updated this week
- An implementation of interaction nets as a forth-like language.☆27Updated this week
- A byte code specification and a JIT-compiler written in Assembly.☆12Updated last month
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆29Updated 8 months ago
- Zang is a dynamically typed high level programming language.☆33Updated last year
- A set of C headers (.h files) that are compatible with widely used libcs for various targets.☆57Updated last year
- An optimizing compiler for a large subset of the C programming language☆25Updated 4 months ago
- A delightful programming language for writing reliable software☆20Updated 3 months ago