rfindler

followers

0

following

stars

Northwestern University, PLT

http://cs.northwestern.edu/~robby/

Organizations

Quickscript-Competiton

racket

Robby Findler's repositories

lindenmayer

Language:Racket24 5 3

modern-macros-talk

Language:Racket14 20

esterel

Esterel in Racket

Language:RacketNOASSERTION5 3 1

icfp-2014-contracts-talk

Slide implementation from 2014 ICFP keynote

Language:Racket2 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

mini-prolog

Language:Racket100

nsf-scribble

A Scribble document style for NSF proposals

Language:Racket100

pict3d

3-dimensional picts

Language:RacketLGPL-3.0100

quickscript

Easy scripting for DrRacket

Language:RacketNOASSERTION100

racket

The Racket repository

Language:RacketNOASSERTION100

racket-gui-easy

Declarative GUIs in Racket.

Language:Racket100

racket-lang-org

NOASSERTION100

racket-rash

The Reckless Racket Shell

Language:RacketNOASSERTION100

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

esterel-iot

Language:Racket000

faculty-hiring-vote-collection

Language:Racket020

ial

The Iowa Agda Library

Language:AgdaMIT010

icfp2024-sudoku

ICFP 2024 artifact

Language:TypeScript000

jscontract

Language:JavaScript010

shrubbery-rhombus-0

Language:Racket010