Spencer Florence (@florence)
github

florence

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    124
  • Global Rank 177,673 (Top 7 %)
  • Followers 60
  • Following 55
  • Registered almost 13 years ago
  • Most used languages
    Racket
         93.3 %
    Agda     6.7 %
  • Location 🇺🇸 United States
  • Country Total Rank 38,497
  • Country Ranking
    Racket
         32
    Agda     52

Top repositories

1

cover

a code coverage tool for racket
Racket
38
star
2

pop-pl

A Patient-Oriented Prescription Programing Language
Racket
20
star
3

diagrama

A diagram drawing library for Racket
Racket
19
star
4

reactor

An embedded synchronous reactive language, a la reactiveML, for Racket.
Racket
12
star
5

rkt-http

a better racket library for http requests, modeled off clj-http
Racket
11
star
6

markov

Markov Bots for Racket
Racket
6
star
7

circuitous

A library for manipulation and symbolic execution synchronous constructive circuits
Racket
4
star
8

talk-typer

A tool to make livecoding simple
Racket
4
star
9

plot-bestfit

Library for racket's plot that does lines of best fit
Racket
3
star
10

colors

A hsi/l/v color library for Racket
Racket
2
star
11

esterel-calculus

Agda
2
star
12

drracket-paredit

Paredit Mode for DrRacket
Racket
1
star
13

graphing-calculator

A graphing calculator written in racket
Racket
1
star
14

esterel

An esterel like embedded DSL for racket
Racket
1
star
15

cover-codecov

Cover integration for CodeCov
Racket
1
star