ThetaLang / ThetaLinks
θ A statically typed, functional programming language that compiles to WebAssembly
☆43Updated last year
Alternatives and similar repositories for Theta
Users that are interested in Theta are comparing it to the libraries listed below
Sorting:
- moved to https://codeberg.org/core-lang/core☆51Updated 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…☆40Updated last week
- High performance compiled language with simplicity and safety.☆49Updated last year
- Claro Lang☆148Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 11 months ago
- ☆26Updated 2 years ago
- ☆132Updated 2 weeks ago
- Axe programming language☆148Updated this week
- Bootstrap compiler for Firefly☆56Updated last month
- Scribe Reference Compiler☆22Updated 4 months ago
- Simple conservative GC using mimalloc☆41Updated 3 years ago
- an interactive programming language☆51Updated this week
- A type-safe C successor that compiles directly to various platforms.☆139Updated 7 months ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- A tiny lazy objective functional language☆19Updated last year
- Glide programming language☆39Updated 3 years ago
- The Lesma Programming Language☆22Updated 2 years ago
- Lovable memory-safe systems language with a pretty fast compiler☆18Updated last week
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆50Updated last week
- Zig Optimizing Backend☆24Updated 6 months ago
- An menu/quick reference for Programming Language concepts☆20Updated last year
- A general purpose programming language☆217Updated 2 months ago
- A small, statically typed, low-level programming language.☆24Updated 3 months ago
- 🪄 Tiny challenges for learning WebAssembly☆67Updated 11 months ago
- Large Scale Type Systems: ML/C Hybrid Programming Language☆125Updated 4 months ago
- A playground for programming language ideas.☆20Updated last week
- Fir programming language☆89Updated this week
- A Statically typed, compiled general purpose low level programming language built using C++ and LLVM Infrastructure framework designed to…☆77Updated 2 years ago
- Minimalistic dynamically-typed language for fun, teaching and creative programming.☆76Updated this week
- Argon programming language☆58Updated last year