mlatu
okami
mlatu | okami | |
---|---|---|
4 | 1 | |
157 | 31 | |
0.0% | - | |
2.9 | 5.7 | |
2 months ago | 3 months ago | |
Rust | Forth | |
GNU General Public License v3.0 or later | ISC License |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mlatu
-
Advantages of Functional Programming
Caden Haustein has used the code for Kitten as the starting point for a language called Mlatu, which looks cool. I haven’t been writing about my PL work much, but I’ve still been doing stuff that’s related—although it may end up under a new name, not sure what I want to do with that yet.
- Mlatu: A purely-functional concatenative programming language
- Mlatu: a statically-typed, purely functional concatenative language
- Show HN: Mlatu, a Concatenative Programming Language
okami
-
Haystack: Statically typed, compiled, stack language
The syntax is too verbose. A concatenative language should make factoring into small definitions easy, so the overhead should be minimized. Haystack has potential for being more lightweight. For reference, here's a braindump of Wok syntax.
What are some alternatives?
wain - WebAssembly implementation from scratch in Safe Rust with zero dependencies
edina - Edina - A simple stack-oriented compiled programming language.
kitten - A statically typed concatenative systems programming language.
haystack - Haystack is a compiled, statically typed, stack-based language with opt-in variable assignment.
Monocypher - An easy to use, easy to deploy crypto library
lbForth - Self-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.
SATySFi - A statically-typed, functional typesetting system
rail - Rail programming language
reason - Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
wok - Compiler that has been integrated into Okami now
csml-engine - CSML is an easy-to-use chatbot programming language and framework.
passerine - A small extensible programming language designed for concise expression with little code.