cgswords/rkanren cgswords/rkanren

  • Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Scheme
  • Created about 11 years ago
  • Updated about 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
cgswords/rkanren
github

cgswords

Reviews

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

Repository Details

The rKanren implementation repo.

More Repositories

1

rsc

Rust-based Scheme Compiler, written in the Nanopass style
Rust
11
star
2

texsem

A template set for writing semantics in LaTeX
TeX
11
star
3

racket-rrb

Racket RRB Tree Implementation
Racket
10
star
4

laurens

An STG Machine implementation in RPython
Python
9
star
5

ccon

Concurrent Contracts
Racket
8
star
6

sgc

Scheme-to-x86-64 Compiler with Garbage Collection
Scheme
7
star
7

vimrc

My own custom vim configuration.
Vim Script
4
star
8

parenthepress

An octopress-style blog framework written in Chez Scheme.
Perl
3
star
9

slush

lazy stack machine based on Push
Haskell
1
star
10

dyb

Implementations of Kent Dybvig's works
Rust
1
star
11

Grift

A scheme compiler targeting LLVM in Hasklell
Haskell
1
star
12

idris-compiler

A compiler written in Idris. We'll start with Scheme and see where it goes.
Idris
1
star