sabrlang / sabr_old
Stack-oriented programming language
☆8Updated 7 months ago
Related projects ⓘ
Alternatives and complementary repositories for sabr_old
- WIP stack language that uses regex for control flow☆41Updated last year
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Updated 2 years ago
- An esoteric RPN golfing language☆24Updated 2 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆62Updated 5 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆30Updated 2 years ago
- A WIP little dependently-typed systems language☆37Updated 3 months ago
- A simple prolog implementation in Rust☆26Updated 4 years ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆55Updated 2 years ago
- Statically typed, high-level functional programming language.☆13Updated 3 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 8 months ago
- Curly programming language☆18Updated 3 years ago
- A core concatenative programming language with variables and first-rank polymorphic type inference☆30Updated 4 years ago
- Jacy programming language☆13Updated 2 years ago
- strictly is a declarative programming language for interactive web-components☆11Updated 11 months ago
- The Curly programming language (now in Rust!)☆30Updated 3 years ago
- The Egel Programming Language☆80Updated last month
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- My programming language☆24Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆30Updated 3 weeks ago
- ☆32Updated 2 years ago
- calc= is a small concatenative programming language for doing math in chats.☆13Updated 2 years ago
- a self-hosting lambda calculus compiler☆34Updated 3 years ago
- Lore is a general-purpose programming language featuring multi-functions, structs and traits, a static type system with sum and intersect…☆17Updated last year
- Forthscript programming language interpreter☆16Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆12Updated last year
- Yet another language oriented on functional programming.☆9Updated 5 months ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22Updated 3 years ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆28Updated last month
- OCaml code for Compiler Construction course at University of Cambridge☆41Updated 3 years ago