Pinned Repositories
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.
quines
Relational interpreter in miniKanren that can generate quines
tinyKanren
A minimalist version of the miniKanren language with no additional features
tenwz's Repositories
tenwz/digg
tenwz/hindley-milner-type-inferencer
Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.
tenwz/csp
CSP concurrency model implementation in Scheme
tenwz/curnelo
Cur dependently-typed language in miniKanren.
tenwz/gems
my most beautiful programs
tenwz/gen_paxos
An Erlang/OTP-style implementation of the PAXOS distributed consensus protocol
tenwz/Grad-School-Code
Some Code from my Grad School Courses
tenwz/irken-compiler
Irken is a statically typed variant of Scheme. Or a lisp-like variant of ML.
tenwz/quines
Relational interpreter in miniKanren that can generate quines
tenwz/tinyKanren
A minimalist version of the miniKanren language with no additional features
tenwz/lightsabers
They contain so few lines of code, yet so few people get them right.
tenwz/miniKanren-occurrence-type-inferencer
tenwz/mk-cps
Explorations of Continuation-Passing Style in miniKanren
tenwz/MyPLZoo
Implementations of various toy programming languages
tenwz/partial-evaluation-tutorial
Racket implementation of Cook and Lämmel's partial evaluation tutorial.
tenwz/Racket-Program-Language-C311
CSCI-C 311
tenwz/scheme-to-c
A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
tenwz/secd
A simple implementation of the SECD abstract machine (https://en.wikipedia.org/wiki/SECD_machine)
tenwz/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/Telegram-iOS
Telegram-iOS
tenwz/tenwz.github.io
tenwz/TheReasonedSchemer
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
tenwz/tiny-scheme
an experimental optimizing Scheme compiler
tenwz/ykanren
miniKanren with a constraint-based negation operator
tenwz/yscheme
a compiler from Scheme into X64
tenwz/yscheme-1
a compiler from a subset of Scheme into X64