cgswords/rkanren

Stars
13
Rank 1,482,894 (Top 30 %)
Language
Scheme
Created over 10 years ago
Updated over 10 years ago

cgswords/rkanren

cgswords

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

The rKanren implementation repo.

rsc

Rust-based Scheme Compiler, written in the Nanopass style

texsem

A template set for writing semantics in LaTeX

racket-rrb

Racket RRB Tree Implementation

laurens

An STG Machine implementation in RPython

ccon

Concurrent Contracts

sgc

Scheme-to-x86-64 Compiler with Garbage Collection

vimrc

My own custom vim configuration.

parenthepress

An octopress-style blog framework written in Chez Scheme.

slush

lazy stack machine based on Push

dyb

Implementations of Kent Dybvig's works

Grift

A scheme compiler targeting LLVM in Hasklell