rjrudman / penpa-editLinks
Forked from https://github.com/opt-pan/penpa-edit to provide English translations
☆13Updated 3 years ago
Alternatives and similar repositories for penpa-edit
Users that are interested in penpa-edit are comparing it to the libraries listed below
Sorting:
- ☆14Updated 5 months ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- ☆12Updated 4 years ago
- Noether programming language☆127Updated 8 years ago
- Lisp interpreter with fexprs and delimited control written in JavaScript☆26Updated 13 years ago
- Solver for The Witness puzzles☆76Updated 4 years ago
- ☆165Updated 12 years ago
- Whalesong: Racket to JavaScript compiler☆253Updated 8 years ago
- Functional language for parallel programming☆433Updated 8 years ago
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆290Updated 4 years ago
- ☆126Updated 2 years ago
- A basic OCaml project with unit tests☆66Updated 6 years ago
- Haskell to Javascript compiler (via GHC)☆20Updated 5 years ago
- A Bestiary of Single-File Implementations of Programming Languages☆1,024Updated 4 months ago
- My advent of code solutions - https://adventofcode.com☆21Updated 8 months ago
- document processor in Racket☆114Updated 3 years ago
- deleted. i recommend using k instead: https://codeberg.org/ngn/k☆235Updated 3 years ago
- Proving leftpad correct two-dozen different ways☆687Updated 4 months ago
- Advent of Code 2018 solutions in Dyalog APL☆22Updated 4 years ago
- LobLib: The Lobster Library☆68Updated 10 years ago
- Cross-platform IDE for Dyalog APL☆220Updated last week
- APL Compiler targeting a typed array intermediate language☆216Updated 11 months ago
- ☆79Updated 6 years ago
- Programming exercises. For fun and great good.☆18Updated 5 years ago
- Very small examples of TLA+ features.☆42Updated 6 years ago
- My solutions for Advent of Code 2017, each in a different language.☆30Updated 4 years ago
- Algorithmic Information Theory, using Binary Lambda Calculus☆166Updated 3 weeks ago
- Unix system programming in OCaml book☆290Updated 7 years ago
- Powerful Factorio calculator/analyser that works with mods☆182Updated 10 months ago
- un-opinionated S-expression syntax and macro system for JavaScript☆537Updated 2 weeks ago