graydon
Follow
Starred repositories
12
stars
written in Racket
Clear filter
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
syn·di·cate: a language for interactive programs
Dependently-typed language with Iverson-style implicit lifting
nikomatsakis / rust-redex
Forked from jbclements/rust-redexA Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.
A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety
19katz / mediKanren
Forked from webyrd/mediKanrenProof-of-concept for reasoning over the SemMedDB knowledge base, using miniKanren + heuristics + indexing.
