Pinned Loading

1. stable-Kanren/stable-Kanren stable-Kanren/stable-Kanren Public

   Forked from miniKanren/simple-miniKanren

   Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.

   Scheme 5

2. sublime-syntax-clingo sublime-syntax-clingo Public

   A syntax highlighting plugin for Answer Set Programming

   2 1

3. SICP SICP Public

   The practice and example code in SICP

   Scheme

4. raspberrypi_project raspberrypi_project Public

   SmartHome Devices and Controller.

   C

5. SER502-Spring2017-Team10 SER502-Spring2017-Team10 Public

   C 4

6. facebook/hhvm facebook/hhvm Public

   A virtual machine for executing programs written in Hack.

   C++ 18.3k 3k