Popular repositories Loading

1. gotalog gotalog Public

   Golang implementation of datalog, port of MITRE corporation's lua implementation

   Prolog 22 4

2. lsat lsat Public

   Lua implementation of a classic dpll SAT solver

   C 2

3. lukanren lukanren Public

   lua implementation of micro-kanren

   Lua

4. gojsonschema gojsonschema Public

   Forked from xeipuuv/gojsonschema

   An implementation of JSON Schema, draft v4 - Go language

   Go

5. sketch-n-sketch sketch-n-sketch Public

   Forked from ravichugh/sketch-n-sketch

   Prodirect Manipulation for SVG

   Elm

6. rosette rosette Public

   Forked from emina/rosette

   The Rosette solver-aided host language, sample solver-aided DSLs, and demos

   Racket