kjosib / sophie
A call-by-need statically-duck-typed language named for French mathematician Sophie Germain
☆29Updated 4 months ago
Related projects: ⓘ
- siko☆13Updated 8 months ago
- WIP stack language that uses regex for control flow☆40Updated 11 months ago
- A general purpose statically-typed concatenative programming language.☆49Updated last year
- Glide programming language☆20Updated last year
- cod programming language☆24Updated last year
- Learn to code with Wipple.☆33Updated this week
- The Egel Programming Language☆80Updated this week
- A tiny lazy objective functional language☆11Updated last week
- Programming Language Void☆14Updated this week
- A scripting language that calculates the worst-case execution time (WCET) before executing each script. Ideal for multi-tenant microservi…☆26Updated 3 months ago
- A work-in-progess programming language modeled after Ada and C++☆26Updated last year
- The Nox programming language☆29Updated last year
- The Core Programming Language☆45Updated 3 months ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 6 months ago
- ☆27Updated 11 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated 2 months ago
- An esoteric RPN golfing language☆24Updated 2 years ago
- Curly programming language☆18Updated 3 years ago
- The Evi programming language☆17Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆61Updated 3 months ago
- A system to amalgamate any features you want into any language you need☆26Updated 2 years ago
- Bootstrap compiler for Firefly☆52Updated this week
- Simple C-like language for clear and concise programs, also has a pretty quick compiler!☆19Updated last year
- reworking quest, but faster☆11Updated last year
- Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).☆20Updated last year
- 🍊 A statically typed, compiled programming language, largely inspired by Jai, Odin, and Zig.☆63Updated 2 months ago
- A WIP little dependently-typed systems language☆37Updated last month
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆65Updated 4 months ago
- Edina - A simple stack-oriented compiled programming language.☆13Updated last year
- A functional programming language that aims to be simple, but expressive.☆20Updated this week