• Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Racket
  • Created about 2 years ago
  • Updated about 2 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
246
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

persistent-array

Racket
5
star
12

new-racket-web

A revised Racket web page
Racket
5
star
13

docker-racket-build

Shell
5
star
14

rhombus-more

4
star
15

find-pkg-deps

Racket
4
star
16

var

Verification via Abstract Reduction
Racket
4
star
17

raco-git

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

github.rkt

GitHub bindings for Racket
Racket
4
star
19

lang-slide

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

racket-examples

Explainer for Racket homepage examples
Racket
3
star
21

github

Racket
3
star
22

get-primitive

Racket
3
star
23

ella

Racket
3
star
24

control-contract-model

Racket
2
star
25

project-ideas

Ideas
2
star
26

raco-bug

Racket
2
star
27

persistent-union-find

Racket
2
star
28

rekt

Racket
2
star
29

pkg-build-diff

Racket
2
star
30

xlang

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

talks

PostScript
2
star
32

raco-macro-step

Racket
2
star
33

samth.github.io

Web page
Isabelle
2
star
34

module-constraints

Racket
2
star
35

test-bugs

2
star
36

pltalk

Racket
2
star
37

mmap

Racket
2
star
38

popl08-model

Scheme
2
star
39

test-date

Testing DrRacket on multiple dates
Racket
1
star
40

split-by

Racket
1
star
41

chap-bench

Racket
1
star
42

dltool

Racket
1
star
43

find-parent-dir

Finding containing directories
Racket
1
star
44

dissertation

TeX
1
star
45

htdp-json

Racket
1
star
46

in-covid

Racket
1
star
47

.github

1
star
48

perf-scripts

Python
1
star
49

aoc2021

Racket
1
star
50

jscontracts

Proxy-based Contract Library for JavaScript
1
star
51

r6rs-immutable

Racket
1
star
52

abnf

Racket
1
star