ThetaLang / ThetaLinks
θ A statically typed, functional programming language that compiles to WebAssembly
☆39Updated 9 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 2 weeks ago
- High performance compiled language with simplicity and safety.☆49Updated last year
- moved to https://codeberg.org/core-lang/core☆52Updated 6 months ago
- Claro Lang☆146Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 7 months ago
- A type-safe C successor that compiles directly to various platforms.☆139Updated 3 months ago
- Scribe Reference Compiler☆22Updated this week
- Zig Optimizing Backend☆20Updated 2 months ago
- an interactive programming language☆45Updated last week
- ☆117Updated 4 months ago
- [DEPRECATED] contains the old "fork" build approach for cpython. New project is at https://github.com/allyourcodebase/cpython☆34Updated last month
- A tiny lazy objective functional language☆18Updated 11 months ago
- Fir programming language☆64Updated last week
- Glide programming language☆39Updated 2 years ago
- ☆26Updated last year
- A toy programming language I wrote in late 2022☆24Updated last year
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 7 months ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆82Updated 6 months ago
- 📚 A collection of resources about supercompilation☆115Updated last month
- Compiler Backend for LSTS (Typed Macro Assembler)☆31Updated this week
- Argon programming language☆54Updated 11 months ago
- Bootstrap compiler for Firefly☆55Updated last week
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Large Scale Type Systems (programming language)☆126Updated 3 weeks ago
- the WebAssembly partial evaluator☆96Updated last month
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆43Updated last week
- A general purpose programming language☆208Updated 3 months ago
- WebAssembly made easy☆46Updated 2 years ago
- Zang is a dynamically typed high level programming language.☆35Updated 2 years ago
- Vortex Programming Language☆81Updated last year