#ocaml #os #rust #tla
- Why I love OCaml
- How to Get Your Research Paper Accepted
- Fork Union: Beyond OpenMP in C++ and Rust?
- #lang
- Wren, a small, fast, class-based concurrent scripting language
- "Think Smalltalk in a Lua-sized package with a dash of Erlang and wrapped up in a familiar, modern syntax."
- Talon: Write Raylib programs in Wren
- Picat, a rule-based language, in which predicates, functions, and actors are defined with pattern-matching rules
- from Finding hard 24 puzzles with planner programming
- "the only language that I know has a built-in planner module"
- Dark, a serverless backend language
- Darklang Goes Open Source
- Goodbye Dark Inc. - Hello Darklang Inc
- Roto
- from Introducing Roto: A Compiled Scripting Language for Rust
- Janet #lisp
- a more batteries-included Lua, with Lisp/Clojure-inspired syntax
- see The smallest embeddable scripting language, part 1
- PEGs in a PEG
- JNJ: J iN Janet
- Bagatto, a static site generator written in Janet
- goal, embeddable scripting array language
- lamber, functional scripting language compiling to Lambda Calculus
- found many papers, see some HF papers worth skimming