brownplt / pyret-lang
The Pyret language.
☆1,067Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for pyret-lang
- A statically typed concatenative systems programming language.☆1,101Updated last year
- WIP implementation of a Haskell-like Lisp in Racket☆1,165Updated 6 months ago
- Implementations of various type systems in OCaml.☆1,540Updated 9 years ago
- The Lux Programming Language☆1,686Updated 2 weeks ago
- Hazel, a live functional programming environment with typed holes☆797Updated this week
- The MLton repository☆954Updated last week
- A functional programming language based on algebraic effect handlers☆862Updated last month
- Programming Languages Zoo☆1,460Updated 4 months ago
- Racket to JavaScript Compiler☆712Updated last year
- Typed Racket☆524Updated this week
- Functional programming with fewer indirections☆761Updated 4 years ago
- Compiler for the Mirth programming language.☆447Updated 3 months ago
- A functional programming language with static memory management☆841Updated this week
- The Pie language, which accompanies The Little Typer by Friedman and Christiansen☆697Updated 3 years ago
- The Ur/Web programming language☆807Updated 5 months ago
- CakeML: A Verified Implementation of ML☆957Updated this week
- lamdu - towards the next generation IDE☆1,852Updated 2 weeks ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆966Updated last week
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆825Updated last month
- Factor programming language☆1,647Updated this week
- Poly/ML☆487Updated 3 months ago
- Prototype smart text editor☆1,048Updated 5 months ago
- Compiler from OCaml to Javascript.☆959Updated this week
- Multicore OCaml☆762Updated last year
- GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.☆1,029Updated last year
- Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.☆918Updated 10 months ago
- Gerbil Scheme☆1,157Updated 2 weeks ago
- The Mercury logic programming system.☆907Updated this week
- Liquid Types For Haskell☆1,195Updated this week
- Parser combinators built for speed and memory efficiency☆648Updated last month