| A | B | C | D | E | F | G | H | I | J | K | L | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | #lang | Description | package | documentation | source | syntax | computational model | semantics | embedded/hosted | book | category | |
2 | Rosette | solver-aided programming language | package | docs | GitHub | racket | embedded | |||||
3 | miniKanren | logic programming language | package | docs | GitHub | racket | ||||||
4 | MiniPascal | MiniPascal as a new #lang language | package | readme | GitHub | algol? | ||||||
5 | Hackett | combines features from both Haskell and Racket | package | docs | GitHub | racket | ||||||
6 | Forth | Forth, as a Racket #lang | package | docs | GitHub | rpn | ||||||
7 | Sketching | A Language for Creative Coding | package | docs | GitHub | racket | ||||||
8 | Syndicate | an actor-based language for interactive programs. | package | docs | GitHub | racket | web development | |||||
9 | Lindenmayer | language for L-Systems | package | docs | GitHub | mixed | generative art | |||||
10 | asi64 | 6502 assembler | package | docs | GitHub | mixed | assembler | |||||
11 | video | a language for making movies. It combines the power of a traditional video editor with the capabilities of a full programming language. | package | docs | GitHub | racket | video | |||||
12 | pollen | publishing system for web-based books. | package | docs | GitHub | markup | book publishing | |||||
13 | bookcover | a language for creating PDF files suitable for use as printed book covers. | package | docs | GitHub | racket | book publishing | |||||
14 | riposte | a language for testing JSON-based HTTP APIs. | package | docs | GitHub | json | web development | |||||
15 | teachlog | A logic language for teaching language creation | GitHub | prolog | teaching, programming language | |||||||
16 | Pie | dependent types | package | docs | GitHub | racket | teaching, programming langugae | |||||
17 | nand-lang | Description | GitHub | algol | programming language | |||||||
18 | peg | PEG parser generator | package | docs | GitHub | racket | parser | |||||
19 | overscan | a live coding environment for live streaming video. | package | docs | GitHub | racket | video | |||||
20 | Dr. Bayes | a probabilistic programming language meant for Bayesian modeling, | GitHub | racket | ||||||||
21 | ||||||||||||
22 | ||||||||||||
23 | ||||||||||||
24 | ||||||||||||
25 |