ThetaLang / ThetaLinks
θ A statically typed, functional programming language that compiles to WebAssembly
☆41Updated 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…☆39Updated this week
- moved to https://codeberg.org/core-lang/core☆51Updated 10 months ago
- Glide programming language☆39Updated 3 years ago
- High performance compiled language with simplicity and safety.☆49Updated last year
- Lovable memory-safe systems language with a pretty fast compiler☆18Updated last week
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆43Updated 2 years ago
- An menu/quick reference for Programming Language concepts☆20Updated last year
- A type-safe C successor that compiles directly to various platforms.☆139Updated 7 months ago
- A tiny lazy objective functional language☆19Updated last year
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 11 months ago
- The Lesma Programming Language☆22Updated 2 years ago
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆33Updated 8 months ago
- Large Scale Type Systems: ML/C Hybrid Programming Language☆125Updated 4 months ago
- Bootstrap compiler for Firefly☆56Updated 3 weeks ago
- Scribe Reference Compiler☆22Updated 3 months ago
- An implementation of the Self programming language in Zig☆206Updated last month
- 🧙♂️A small programming language with static typing and native compilation, selfhosted☆50Updated last week
- A general purpose programming language☆216Updated last month
- Mirror of https://codeberg.org/tjammer/schmu☆28Updated last month
- an interactive programming language☆50Updated this week
- This is an implementation of interaction nets, with a familiar JavaScript-like syntax :)☆57Updated 4 months ago
- Claro Lang☆148Updated last year
- A toy programming language I wrote in late 2022☆25Updated last year
- Simple conservative GC using mimalloc☆41Updated 3 years ago
- Sam's Programming Language☆39Updated this week
- An interpreter for the 1991 Oriel scripting language☆58Updated 2 years ago
- An experimental programming language for ergonomic software verification☆16Updated last month
- ☆29Updated 3 months ago
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆89Updated last month
- 👌 A smol functional language that targets other languages☆66Updated last year