mflatt/plai-typed mflatt/plai-typed

  • Stars
    star
    48
  • Rank 577,887 (Top 12 %)
  • Language
    Racket
  • Created over 11 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mflatt/plai-typed
github

mflatt

Reviews

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

Repository Details

More Repositories

1

gc-demo

C
78
star
2

jit-demo

C
61
star
3

not-a-box

Racket
57
star
4

scratchy

Demonstration of implementing a language in Racket
Racket
56
star
5

expander

51
star
6

zuo

C
39
star
7

sirmail

an IMAP mail client implemented in Racket
Racket
30
star
8

plait

Racket
20
star
9

shrubbery-rhombus-0

Racket
15
star
10

shplait

Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
Racket
14
star
11

macro-dsl-tutorial

Racket
14
star
12

profj

Kathy Gray's ProfessorJ as a Racket v5.x package
Scheme
10
star
13

scope-sets

Source to "Binding as Sets of Scopes"
Racket
9
star
14

min-racket

experiment toward a minimal Racket install
C
9
star
15

slideshow-repl

Library for interactive evaluation within a slide presentation
Racket
7
star
16

s3-sync

Sync a local filesystem with a S3 bucket
Racket
5
star
17

raco-cross

Racket
4
star
18

web-macro-tutorial

4
star
19

guibuilder

DrRacket plug-in for creating GUIs graphically
Racket
3
star
20

pkg-dep-draw

Racket
3
star
21

expr-editor

Racket
2
star
22

talks

Racket
2
star
23

plai-typed-s-exp-match

S-expression matching library for use with plai-typed
Racket
1
star
24

uu-cs5510

Racket
1
star
25

netsec-slides

1
star