davdar/redex-workshop-2015-ott davdar/redex-workshop-2015-ott

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    Racket
  • Created over 9 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
davdar/redex-workshop-2015-ott
github

davdar

Reviews

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

Repository Details

observational type theory in redex

More Repositories

1

maam

A monadic approach to static analysis following the methodology of AAM
Haskell
19
star
2

parsing-with-derivatives-haskell

The original parsing with derivatives haskell implementation
Haskell
10
star
3

dotfiles

my dot files
Emacs Lisp
3
star
4

redex-workshop-2015-notes

notes from the 2015 redex workshop in SLC
HTML
2
star
5

cut-elimination

Proving cut elimination for the sequent calculus in Coq
1
star
6

quals

quals
Haskell
1
star
7

darais-unicode-input

HTML
1
star