PaulFurtado / NUwave-Linux
Script for connecting to NUwave from linux
☆21Updated 10 years ago
Related projects: ⓘ
- Dependently-typed language with Iverson-style implicit lifting☆121Updated 4 years ago
- Beautiful, interactive visualizations of logical inference☆150Updated 3 years ago
- A Scribble library for typesetting grammars better☆15Updated last year
- Web application to share Whalesong programs☆9Updated 7 years ago
- A Racket package for creating and composing pure functional lenses☆74Updated 5 years ago
- ☆12Updated 3 months ago
- A less devious proof assistant☆220Updated last year
- Scripts for Racket developers☆24Updated 3 years ago
- Deprecated. Use https://github.com/lexi-lambda/racket-pvector instead.☆11Updated 8 years ago
- a code coverage tool for racket☆38Updated 4 months ago
- Disassembler for Racket☆80Updated last year
- Simple, filesystem-based caching for Racket☆17Updated 2 years ago
- A zipper library for Racket☆19Updated 8 years ago
- Canonical miniKanren implementation in Racket☆16Updated 7 years ago
- A program synthesizer for code in the How to Design Programs curriculum☆13Updated 8 months ago
- ☆60Updated 2 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Updated 4 years ago
- The original Edinburgh LCF.☆23Updated 7 years ago
- Metacircular evaluator for a tiny fexpr language☆45Updated 12 years ago
- ☆89Updated last month
- Koans are small lessons on the path to enlightenment. The aim of the Idris Koans project is to provide an easy learning environment in Id…☆179Updated 6 years ago
- ECMAScript for Racket☆20Updated 2 years ago
- Collection of forms and higher order functions that assist function composition and definition of functions in a point-free style☆24Updated 6 years ago
- The Racket pastebin.☆30Updated 2 years ago
- Scripts to compile and run Standard ML programs defined in .mlb files.☆15Updated 10 months ago
- Smackage Package Manager for Standard ML☆121Updated 2 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆15Updated 2 weeks ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆32Updated 7 years ago
- Collapsing Towers of Interpreters☆87Updated 7 months ago
- Generic graph library and algorithms for Racket.☆58Updated 10 months ago