A language whose denoted programs form a group under program concatenation
Updated 2025-02-09 12:09:42 +00:00
A Lisp-like language with ABTs instead of lists, making it homiconic at a higher level than Lisp is
Updated 2025-01-14 12:32:29 +00:00
(WIP) An OO language where `self` is a continuation (sort of)
Updated 2024-12-03 04:42:47 +00:00
A cute but naïve functional language - "upside-down Forth cake".
Updated 2024-12-03 04:42:34 +00:00
Somewhere between a meta-language, a programming language, and a rubbish lister
Updated 2024-12-03 04:42:29 +00:00
A minimal event-oriented language
Updated 2024-12-03 04:42:20 +00:00
A forest-rewriting language; precursor to Treacle.
Updated 2024-12-03 04:42:15 +00:00
A compiler-definition language based on "context rewriting"
Updated 2024-12-03 04:42:15 +00:00
Model worlds using propositions and run simulations in them
Updated 2024-12-03 04:42:15 +00:00
A 6502-oriented low-level programming language supporting advanced static analysis
experimental-language
6502-assembly
static-analysis
low-level-programming
flow-typing
effect-system
abstract-interpretation
Updated 2024-12-03 04:42:15 +00:00
An experimental language conflating type qualifiers with modules
Updated 2024-12-03 04:42:13 +00:00
A Scheme-like language where both functions and macros are defined in terms of fexprs
experimental-language
pure-functional
event-driven
fexprs
vau-calculus
the-elm-architecture
scheme-like
s-expressions
referentially-transparent
Updated 2024-12-03 04:42:13 +00:00
A simple imperative language with union types (and a compiler for same, with multiple targets)
compiler
programming-language
interpreter
experimental-language
multiple-backends
union-types
flow-typing
union-type
typecase
parse-dont-validate
multiple-targets
Updated 2024-12-03 04:42:11 +00:00
A rewriting language where the rewrite rules form a Kleene algebra
esoteric-language
esoteric-programming-language
experimental-language
string-rewriting
kleene-algebra
Updated 2024-12-03 04:42:10 +00:00
A semi-concatenative language where every operation can fail
esolang
esoteric-language
concatenative
esoteric-programming-language
experimental-language
semi-concatenative
failure-handling
Updated 2024-12-03 04:42:07 +00:00