The Boomerang Bidirectional Programming Language
OCaml
83
14 commits
updated Mar 15, 2023
http://www.cs.cornell.edu/~jnfoster/papers/jnfoster-dissertation.pdf
11 commits
2 commits
1 commits
duo-lang/duo-lang
Duo - A research language exploring duality in programming language design
62
frenetic-lang/frenetic
The Frenetic Programming Language and Runtime System
229
forthy42/gforth
Gforth mirror on GitHub (original is on Savannah)
189
gibbon-compiler/gibbon
A compiler for functional programs on serialized data
177
dunhamsteve/newt
A toy dependent typed language.
50
dbp/funtal
FunTAL: mixing a functional language with assembly.
41
bcpeinhardt/learn_otp_with_gleam
A resource for learning the OTP framework with the Gleam programming language
425
attractivechaos/plb
Programming language benchmarks
273
99.5%
