akeep/mad-hatter akeep/mad-hatter

  • Stars
    star
    2
  • Language
    Racket
  • Created over 11 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
akeep/mad-hatter
github

akeep

Reviews

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

Repository Details

A relational meta-interpreter for building relational abstract interpreters from relational concrete interpreters.

More Repositories

1

scheme-to-c

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

nanopass-framework

The new nanopass framework; an embedded DSL for writing compilers in Scheme
Scheme
321
star
3

scheme-to-llvm

A compiler to compile a simple subset of scheme to LLVM 10
Scheme
107
star
4

nanopass-framework-racket

Racket port of the nanopass-framework
Racket
34
star
5

abstract-racket

An abstract machine for analyzing Racket bytecode.
Racket
28
star
6

rough-draft

A simple unit testing framework for Scheme that is slightly more featureful then my previous attempts to handroll a testing framework.
Scheme
9
star
7

vimrc

My vimrc and related vim configuration
Vim Script
1
star
8

vim-patches

Patches to tame lisp mode and return the cursor to the original yank position.
1
star