dvtate / postfix-haskell
A low-level, postfix, functional programming language that compiles to WebAssembly
☆23Updated 3 months ago
Related projects: ⓘ
- A programming language with a comfy syntax which answers the question "what if everything was call/cc?"☆13Updated 6 months ago
- A website for the #proglangdesign community on freenode☆108Updated 2 weeks ago
- A minimal implementation of Hindley-Milner's Algorithm J in OCaml☆48Updated 2 years ago
- A programming language somewhat resembling cellular processes.☆34Updated 2 years ago
- 🧀 A delicious programming language☆37Updated last year
- Macros have types!☆131Updated last year
- The future of programming.☆69Updated 3 years ago
- A general purpose statically-typed concatenative programming language.☆49Updated last year
- The Egel Programming Language☆80Updated this week
- PROTOTYPE: A minimal scripting language - OOP via lambda functions and pattern matching☆53Updated 7 years ago
- Programming with pure lambda calculus☆85Updated last week
- Statically typed, high-level functional programming language.☆12Updated 3 years ago
- Stack-based, multi-paradigm language with an emphasis on metaprogramming.☆23Updated 3 years ago
- ☆45Updated this week
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆29Updated 4 months ago
- A WIP little dependently-typed systems language☆37Updated last month
- Fast and flexible language exploring partial evaluation, context-sensitive parsing, and metaprogramming. Compiles JIT or AOT to native co…☆123Updated 2 years ago
- A simple ML-like programming language with subtyping and full type inference.☆159Updated 3 months ago
- A series of down-to-earth articles on implementing type inference☆151Updated 4 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.ht☆14Updated 6 months ago
- The Knight Programming Language☆63Updated last year
- cod programming language☆24Updated last year
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆36Updated last year
- Calypso is a mostly imperative language with some functional influences that is focused on flexibility and simplicity.☆65Updated 4 months ago
- The third iteration of the Lavender programming language, implemented in Rust.☆10Updated 3 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆147Updated last week
- RustScript is a functional scripting language with as much relation to Rust as Javascript has to Java.☆28Updated 2 years ago
- Like APL, but with emojis☆16Updated 2 years ago
- Curly programming language☆18Updated 3 years ago
- ⚗️ Self-hosting compiler from a Haskell-like Lisp directly to x86-64, from scratch.☆155Updated 2 years ago