Robby Findler (@rfindler)
github

rfindler

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    97
  • Global Rank 211,341 (Top 8 %)
  • Followers 152
  • Registered about 14 years ago
  • Most used languages
    Racket
         78.6 %
    Coq     7.1 %
    JavaScript
         7.1 %
    HTML
         7.1 %

Top repositories

1

lindenmayer

Racket
24
star
2

modern-macros-talk

Racket
14
star
3

395-2013

Coq
13
star
4

lambdajam-2015-racket-pl-pl

Racket
5
star
5

esterel

Esterel in Racket
Racket
5
star
6

395-2017

Racket
4
star
7

395-2012

JavaScript
4
star
8

popl-2012-ryr-talk

Racket
3
star
9

haiku-enum

Racket
3
star
10

icfp-2014-contracts-talk

Slide implementation from 2014 ICFP keynote
Racket
2
star
11

simple-obfuscation

Racket
1
star
12

nwu-pl-site

HTML
1
star
13

fully-expanded-store

Racket
1
star
14

mini-prolog

Racket
1
star