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 last week
- High performance compiled language with simplicity and safety.☆49Updated last year
- moved to https://codeberg.org/core-lang/core☆52Updated 6 months ago
- McLulang: The message is the language☆11Updated 11 months ago
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆41Updated 2 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆32Updated 6 months ago
- an interactive programming language☆45Updated this week
- A type-safe C successor that compiles directly to various platforms.☆139Updated 3 months ago
- Claro Lang☆144Updated last year
- Zig Optimizing Backend☆20Updated last month
- ☆114Updated 4 months ago
- Simple conservative GC using mimalloc☆40Updated 2 years ago
- Scribe Reference Compiler☆22Updated 2 months ago
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆44Updated this week
- A graph-oriented intermediate representation, optimization framework, and machine code generator.☆29Updated 2 months ago
- ☆26Updated last year
- Succinct data structures for Zig☆68Updated 3 weeks ago
- the WebAssembly partial evaluator☆85Updated 3 weeks ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆72Updated 3 years ago
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 7 months ago
- An implementation of the Self programming language in Zig☆193Updated last week
- [DEPRECATED] contains the old "fork" build approach for cpython. New project is at https://github.com/allyourcodebase/cpython☆35Updated 2 weeks ago
- An optimizing compiler for a large subset of the C programming language☆26Updated 2 months ago
- 📚 A collection of resources about supercompilation☆111Updated 2 weeks ago
- Bootstrap compiler for Firefly☆55Updated last week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆55Updated 2 weeks ago
- A small toy language with syntax heavily inspired by Lua that transpiles to JS.☆18Updated 2 years ago
- A general purpose programming language☆205Updated 2 months ago
- A collection of lambda calculus interpreters and development tools☆15Updated 2 years ago
- Fir programming language☆63Updated this week