brownplt / code.pyret.orgLinks
Website for serving Pyret to folks.
☆27Updated last week
Alternatives and similar repositories for code.pyret.org
Users that are interested in code.pyret.org are comparing it to the libraries listed below
Sorting:
- The documentation for Pyret.☆10Updated 4 months ago
- Collapsing Towers of Interpreters☆93Updated 7 months ago
- ☆102Updated 3 weeks ago
- The Makam Metalanguage☆199Updated 2 years ago
- Higher Order Prolog with Extensional Semantics☆53Updated 5 years ago
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆161Updated last year
- The Twelf Programming Language☆149Updated 2 weeks ago
- A custom parser/auto-formatter for Standard ML☆87Updated last month
- Mirror of Epigram 2, by Conor McBride, et al.☆58Updated 5 years ago
- Educational Proof Assistant for Type Theory☆80Updated 2 weeks ago
- A DSL for runtime code generation in racket☆68Updated 3 years ago
- SPSC: A Small Positive Supercompiler☆39Updated last year
- The Brown Benchmark for Table Types (B2T2)☆67Updated 6 months ago
- Embeddable Lambda Prolog Interpreter☆337Updated 2 weeks ago
- ☆90Updated 4 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 8 months ago
- Magnolisp, a toy programming language☆19Updated 2 years ago
- CLP(SMT) on top of miniKanren☆39Updated 3 years ago
- source code for the bondi programming language☆45Updated 6 years ago
- purple: compiling a reflective language☆33Updated last year
- ☆138Updated 3 years ago
- A less devious proof assistant☆230Updated 3 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Updated 2 months ago
- Type-checker for the λΠ-calculus modulo rewriting☆225Updated 2 months ago
- A SuperCompiler for Martin-Löf's Type Theory☆123Updated 4 years ago
- Interpreter for the reversible functional language rFun☆38Updated 7 years ago
- A version of the 1997 SML definition with corrections and some proposed Successor ML features added.☆206Updated last year
- A program synthesizer for code in the How to Design Programs curriculum☆13Updated 2 years ago
- A dynamically-typed CBPV language embedded in Racket☆40Updated last year
- ☆59Updated 12 years ago