alexdovzhanyn / ThetaLang
θ A statically typed, functional programming language that compiles to WebAssembly
☆20Updated this week
Related projects: ⓘ
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆26Updated 3 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…☆32Updated this week
- A simple programming language for researching different ways of program execution and compilation☆28Updated this week
- world's worst interpreter☆47Updated 2 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆29Updated 4 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆19Updated 2 years ago
- the WebAssembly partial evaluator☆16Updated last week
- An experimental programming language for ergonomic software verification☆15Updated this week
- ☆27Updated 11 months ago
- 👌 A smol functional language that targets other languages☆63Updated 8 months ago
- Rotth is a stack based concatenative language highly inspired by Porth☆15Updated 5 months ago
- An interpreter for the 1991 Oriel scripting language☆56Updated 10 months ago
- Tsar programming language☆14Updated 4 years ago
- Kitbag is a content-addressed versioned tree-structured graph-based datastore.☆14Updated 3 years ago
- A fast, concurrent and embeddable scripting language☆44Updated 2 years ago
- A WIP little dependently-typed systems language☆37Updated last month
- An attempt to write a compiler in Rust☆22Updated last year
- A web based playground for parsertl/lexertl☆17Updated this week
- The Nox programming language☆29Updated last year
- An menu/quick reference for Programming Language concepts☆20Updated 5 months ago
- A Data Modeling Programming Language☆14Updated 3 weeks ago
- an expressive and efficient programming language for WebAssembly☆41Updated 3 weeks ago
- Grain support for Visual Studio Code☆24Updated 5 months ago
- The Core Programming Language☆45Updated 3 months ago
- A programming language for transpiled libraries.☆12Updated 2 months ago
- Zig compiler compiled to WASM☆14Updated 5 months ago
- All kinds of Roc examples☆29Updated 2 weeks ago
- ☆25Updated this week
- A gradually-typed, functional scripting language with a friendly syntax and interpreter written in Rust!☆31Updated 2 years ago
- A JS devtool orchestrator☆35Updated last week