brownplt / pyret-langLinks
The Pyret language.
☆1,110Updated last week
Alternatives and similar repositories for pyret-lang
Users that are interested in pyret-lang are comparing it to the libraries listed below
Sorting:
- A statically typed concatenative systems programming language.☆1,139Updated 2 years ago
- Programming Languages Zoo☆1,524Updated last year
- A functional programming language based on algebraic effect handlers☆890Updated 3 months ago
- Hazel, a live functional programming environment with typed holes☆1,046Updated this week
- Implementations of various type systems in OCaml.☆1,591Updated 10 years ago
- The Mercury logic programming system.☆970Updated this week
- Compiler for the Mirth programming language.☆479Updated 5 months ago
- The MLton repository☆1,026Updated 3 weeks ago
- The Lux Programming Language☆1,716Updated last month
- The Ur/Web programming language☆831Updated last year
- Factor programming language☆1,763Updated this week
- A programming language with static memory management based on λ-calculus☆1,006Updated 3 weeks ago
- Functional programming with fewer indirections☆771Updated 5 years ago
- Typed Racket☆552Updated this week
- Functional language with intensional polymorphism and first-class staging.☆940Updated 2 weeks ago
- lamdu - towards the next generation IDE☆1,875Updated last month
- a structured interaction engine 🗜️ ⚗️☆481Updated last year
- Racket to JavaScript Compiler☆723Updated 2 years ago
- Compiler from OCaml to Javascript.☆1,050Updated last week
- Prototype smart text editor☆1,061Updated 7 months ago
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆728Updated 4 years ago
- High-performance, Reliable, and Parallel APL☆770Updated last week
- CakeML: A Verified Implementation of ML☆1,087Updated this week
- L.B. Stanza Programming Language☆215Updated 2 years ago
- Rhombus programming language☆493Updated this week
- Research on integrating datalog & lambda calculus via monotonicity types☆404Updated 3 years ago
- A programming language for the CPython VM.☆577Updated 5 years ago
- Poly/ML☆509Updated this week
- Multicore OCaml☆766Updated 2 years ago
- Sinatra like web toolkit for OCaml☆782Updated 8 months ago