tenwz Goto Github PK

csp

CSP concurrency model implementation in Scheme

curnelo

Cur dependently-typed language in miniKanren.

gems

my most beautiful programs

gen_paxos

An Erlang/OTP-style implementation of the PAXOS distributed consensus protocol

grad-school-code

Some Code from my Grad School Courses

hindley-milner-type-inferencer

Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.

irken-compiler

Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.

lightsabers

They contain so few lines of code, yet so few people get them right.

minikanren-occurrence-type-inferencer

mk-cps

Explorations of Continuation-Passing Style in miniKanren

myplzoo

Implementations of various toy programming languages

partial-evaluation-tutorial

Racket implementation of Cook and Lämmel's partial evaluation tutorial.

quines

Relational interpreter in miniKanren that can generate quines

racket-program-language-c311

CSCI-C 311

scheme-to-c

A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)

secd

A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)

similix

A Self-Applicable Partial Evaluator for a Subset of Scheme - Mirror of ftp://cs.indiana.edu/pub/scheme-repository/imp/similix.tar.Z

tenwz.github.io

thereasonedschemer

Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.

tiny-scheme

an experimental optimizing Scheme compiler

tinykanren

A minimalist version of the miniKanren language with no additional features

ykanren

miniKanren with a constraint-based negation operator

yscheme

a compiler from Scheme into X64

yscheme-1

a compiler from a subset of Scheme into X64