namin Goto Github PK

.emacs.d

3-proto-lisp

Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.

abi

alpha-zero-general

A clean implementation based on AlphaZero for any game in any framework + tutorial + Othello/Gobang/TicTacToe/Connect4

aop

Art of Prolog Code

barliman

Prototype smart text editor

biohacker

debugging biological networks to reach coherence, completeness and consistency

biohacker-medikanren

Integration of BMS with medikanren

black

Kenichi Asai's reflective programming language Black

blond

the reflective tower Blond by Olivier Danvy & Karoline Malmkjær

bluespec-sandbox

learning Bluespec and hardware design

brown

the reflective language(s) Brown by Dan Friedman and Mitch Wand

bus

cc-helloworld

CommonCrawl Hello World example

chezscheme-socket

Fixing the ChezScheme Socket Example

chirhofun

cl-smt-lib

Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams

clojurecl

ClojureCL is a Clojure library for parallel computations with OpenCL.

clpset-minikanren

CLP(Set) in miniKanren

clpsmt-minikanren

CLP(SMT) on top of miniKanren

codecube

Docker-powered runnable code snippets

codemirror

In-browser code editor

codemirror-movie

A plugin for CodeMirror 2 for code demo

collapsing-towers

Collapsing Towers of Interpreters

commoncrawl

CommonCrawl Project Repository

commoncrawl-examples

A library of examples showing how to use the Common Crawl corpus.

communication-bootstrapping-v1

appendix of Jake Beal's master thesis (2002)

coq-sandbox

core.logic

d4

Differentiable Forth Interpreter