rfindler

Robby Findler's repositories

lindenmayer

Language:Racket24 5 3

modern-macros-talk

Language:Racket14 20

395-2013

Language:Coq13 10 2

esterel

Esterel in Racket

Language:RacketNOASSERTION5 4 3

haiku-enum

Language:Racket3 20

circuitous

A library for manipulation and symbolic execution synchronous constructive circuits

Language:RacketMIT100

drracket

DrRacket, IDE for Racket

Language:RacketNOASSERTION1 10

errortrace

Language:RacketNOASSERTION100

fully-expanded-store

Language:Racket1 4 3

gui

Language:RacketNOASSERTION1 20

htdp

Language:RacketNOASSERTION1 10

karp

a language for NP reductions

Language:Racket100

nsf-scribble

A Scribble document style for NSF proposals

Language:Racket100

nwu-pl-site

Language:HTML1 40

pict3d

3-dimensional picts

Language:RacketLGPL-3.0100

racket

The Racket repository

Language:RacketNOASSERTION100

racket-gui-easy

Declarative GUIs in Racket.

Language:Racket100

rhombus-prototype

Brainstorming and draft proposals for Rhombus

Language:RacketNOASSERTION100

s3-sync

Sync a local filesystem with a S3 bucket

Language:RacketNOASSERTION100

scribble

Language:RacketNOASSERTION1 20

simple-obfuscation

Language:Racket100

deinprogramm

Language:RacketNOASSERTION010

draw

Language:RacketNOASSERTION010

faculty-hiring-vote-collection

Language:Racket020

frog

Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.

Language:Racket010

ial

The Iowa Agda Library

Language:AgdaMIT010

jscontract

Language:JavaScript010

lc

Language:Racket020

shrubbery-rhombus-0

Language:Racket010

typed-racket

Typed Racket

Language:RacketNOASSERTION000