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:
- 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
- moved to https://codeberg.org/core-lang/core☆51Updated 11 months ago
- High performance compiled language with simplicity and safety.☆50Updated last year
- Claro Lang☆149Updated last year
- Scribe Reference Compiler☆22Updated 4 months ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated last year
- A type-safe C successor that compiles directly to various platforms.☆139Updated 8 months ago
- Seamless bug-finding for C, C++, Rust, Wasm and Zig☆276Updated last week
- Simple conservative GC using mimalloc☆41Updated 3 years ago
- (Hopefully) a compiler for my first language named "Pie"☆20Updated this week
- ☆138Updated last month
- an interactive programming language☆53Updated this week
- Lovable memory-safe systems language with a pretty fast compiler☆18Updated this week
- Glide programming language☆39Updated 3 years ago
- A tiny lazy objective functional language☆19Updated last year
- A general purpose programming language☆219Updated 2 months ago
- Argon programming language☆58Updated last year
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- The Lesma Programming Language☆22Updated 2 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year
- Bootstrap compiler for Firefly☆56Updated 2 months ago
- Compiler Backend for LSTS (Typed Macro Assembler)☆36Updated last week
- 🪄 Tiny challenges for learning WebAssembly☆67Updated last year
- Large Scale Type Systems: ML/C Hybrid Programming Language☆125Updated 5 months ago
- C Intermediate Language☆158Updated last week
- Axe programming language☆159Updated last week
- ☆26Updated 2 years ago
- the WebAssembly partial evaluator☆112Updated 4 months ago
- A fork of Instagram's experimental performance oriented greenfield implementation of Python. It features small objects; a moving GC; hidd…☆50Updated 6 months ago
- Mirror of https://codeberg.org/tjammer/schmu☆28Updated last week