brownplt / pyret-lang
The Pyret language.
☆1,082Updated this week
Alternatives and similar repositories for pyret-lang:
Users that are interested in pyret-lang are comparing it to the libraries listed below
- A statically typed concatenative systems programming language.☆1,109Updated last year
- WIP implementation of a Haskell-like Lisp in Racket☆1,169Updated 10 months ago
- Programming Languages Zoo☆1,471Updated 8 months ago
- Implementations of various type systems in OCaml.☆1,561Updated 9 years ago
- Typed Racket☆533Updated last week
- The Mercury logic programming system.☆930Updated last week
- A brand-new compiler that allows practical application development using R7RS Scheme. We provide modern features and a stable system cap…☆839Updated 3 weeks ago
- Racket to JavaScript Compiler☆714Updated last year
- The Reckless Racket Shell☆555Updated last year
- The Lux Programming Language☆1,690Updated this week
- Rhombus programming language☆366Updated this week
- Factor programming language☆1,688Updated this week
- CakeML: A Verified Implementation of ML☆998Updated this week
- The MLton repository☆992Updated last month
- a lightweight, robust, scheme-like lisp implementation☆1,594Updated 4 years ago
- Hazel, a live functional programming environment with typed holes☆887Updated this week
- Gerbil Scheme☆1,180Updated this week
- Prototype smart text editor☆1,056Updated 8 months ago
- DrRacket, IDE for Racket☆459Updated this week
- A programming language for the CPython VM.☆576Updated 4 years ago
- Compiler for the Mirth programming language.☆458Updated this week
- Compiler from OCaml to Javascript.☆985Updated this week
- High-performance, Reliable, and Parallel APL☆731Updated this week
- Multicore OCaml☆762Updated 2 years ago
- Functional programming with fewer indirections☆760Updated 4 years ago
- A visual Haskell☆721Updated 2 years ago
- A small, fast, native lisp with "magical" powers☆2,353Updated 4 years ago
- Universal toplevel for OCaml☆856Updated 2 months ago
- Poly/ML☆494Updated 3 weeks ago
- Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.☆923Updated last year