• Stars
    star
    1
  • Language
    Racket
  • Created over 8 years ago
  • Updated over 8 years ago

Reviews

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

Repository Details

More Repositories

1

gradual-typing-bib

A bibliography on Gradual Typing
Racket
245
star
2

disassemble

Disassembler for Racket
Scheme
80
star
3

fancy-app

A Scala-style magic function application form
Racket
44
star
4

git-slice

Slicing git repositories.
Racket
22
star
5

semilit

Semiliterate programming in Racket
Racket
13
star
6

gcstats

GC statistics for Racket
Racket
11
star
7

bcrypt.rkt

A Racket interface to bcrypt
C
10
star
8

object-backtrace

find out what keeps an object alive
Racket
7
star
9

tr-tutorial

Typed Racket tutorial at ELS 2013 & RacketCon 2012
Racket
7
star
10

javascript.plt

dherman's javascript.plt planet pkg
Scheme
6
star
11

zuo

Racket
5
star
12

persistent-array

Racket
5
star
13

new-racket-web

A revised Racket web page
Racket
5
star
14

docker-racket-build

Shell
5
star
15

rhombus-more

4
star
16

find-pkg-deps

Racket
4
star
17

var

Verification via Abstract Reduction
Racket
4
star
18

raco-git

Obseleted by raco pkg, aka Planet 2
Racket
4
star
19

github.rkt

GitHub bindings for Racket
Racket
4
star
20

lang-slide

A slide that shows all the languages used to build Racket
Racket
4
star
21

racket-examples

Explainer for Racket homepage examples
Racket
3
star
22

github

Racket
3
star
23

get-primitive

Racket
3
star
24

ella

Racket
3
star
25

control-contract-model

Racket
2
star
26

project-ideas

Ideas
2
star
27

raco-bug

Racket
2
star
28

persistent-union-find

Racket
2
star
29

rekt

Racket
2
star
30

pkg-build-diff

Racket
2
star
31

xlang

A language of combinators and numeric constants, implemented in Racket.
Racket
2
star
32

talks

PostScript
2
star
33

raco-macro-step

Racket
2
star
34

samth.github.io

Web page
Isabelle
2
star
35

module-constraints

Racket
2
star
36

test-bugs

2
star
37

pltalk

Racket
2
star
38

mmap

Racket
2
star
39

popl08-model

Scheme
2
star
40

split-by

Racket
1
star
41

test-date

Testing DrRacket on multiple dates
Racket
1
star
42

chap-bench

Racket
1
star
43

dltool

Racket
1
star
44

find-parent-dir

Finding containing directories
Racket
1
star
45

dissertation

TeX
1
star
46

htdp-json

Racket
1
star
47

in-covid

Racket
1
star
48

.github

1
star
49

perf-scripts

Python
1
star
50

aoc2021

Racket
1
star
51

jscontracts

Proxy-based Contract Library for JavaScript
1
star
52

abnf

Racket
1
star