ThetaLang / ThetaLinks
θ A statically typed, functional programming language that compiles to WebAssembly
☆39Updated 8 months ago
Alternatives and similar repositories for Theta
Users that are interested in Theta are comparing it to the libraries listed below
Sorting:
- A port of ArithmeticExpressionCompiler from x86 to WebAssembly, so that the programs written in the language can run in a browser. The co…☆35Updated last week
- minimalistic s-expression based term rewriting framework☆15Updated last month
- High performance compiled language with simplicity and safety.☆49Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 6 months ago
- Argon programming language☆52Updated 10 months ago
- moved to https://codeberg.org/core-lang/core☆52Updated 5 months ago
- A ridiculous Python interpreter written—from scratch—in Rust.☆23Updated this week
- Glide programming language☆40Updated 2 years ago
- An interpreter for the 1991 Oriel scripting language☆57Updated last year
- an interactive programming language☆45Updated this week
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆41Updated 2 years ago
- Semantic analyzer library for compilers written in Rust for semantic analysis of programming languages AST☆41Updated 4 months ago
- ☆38Updated 3 years ago
- An attempt to write a compiler in Rust☆24Updated 2 years ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆44Updated last week
- The Nox programming language☆30Updated last year
- programming with second class references☆25Updated 3 weeks ago
- Zig Optimizing Backend☆20Updated last month
- An optimizing compiler for a large subset of the C programming language☆26Updated last month
- A simple programming language for researching different ways of program execution and compilation☆33Updated 9 months ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆44Updated last week
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 6 months ago
- A set of C headers (.h files) that are compatible with widely used libcs for various targets.☆58Updated last year
- Zang is a dynamically typed high level programming language.☆35Updated 2 years ago
- Scribe Reference Compiler☆22Updated 2 months ago
- Glide programming language☆20Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated last month
- ☆29Updated last month
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆11Updated 3 years ago
- Claro Lang☆143Updated last year