Spencer Florence's repositories

cover

a code coverage tool for racket

Language:RacketLicense:MITStargazers:38Issues:5Issues:117

pop-pl

A Patient-Oriented Prescription Programing Language

diagrama

A diagram drawing library for Racket

Language:RacketLicense:MITStargazers:19Issues:3Issues:1

reactor

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

circuitous

A library for manipulation and symbolic execution synchronous constructive circuits

Language:RacketLicense:MITStargazers:4Issues:2Issues:0

plot-bestfit

Library for racket's plot that does lines of best fit

colors

A hsi/l/v color library for Racket

Language:AgdaLicense:MITStargazers:2Issues:4Issues:0

cover-codecov

Cover integration for CodeCov

Language:RacketLicense:MITStargazers:1Issues:2Issues:1
Language:RacketStargazers:0Issues:2Issues:0
Language:RustStargazers:0Issues:2Issues:0

codecov-racket

Codecov support for Cover.

Language:RacketLicense:MITStargazers:0Issues:2Issues:0

datacell

A simple embedded dataflow langauge for racket

Language:RacketStargazers:0Issues:2Issues:0
Language:RacketStargazers:0Issues:2Issues:0
Language:RacketStargazers:0Issues:2Issues:0

lsp-mode

Emacs client/library for the Language Server Protocol

License:GPL-3.0Stargazers:0Issues:0Issues:0
Language:RacketStargazers:0Issues:2Issues:0
Language:RacketStargazers:0Issues:2Issues:0
Language:RacketStargazers:0Issues:2Issues:0
Language:RacketStargazers:0Issues:0Issues:0

poppler-libs

Binaries for poppler built to work with the draw-<platform>-3 libraries

Language:RacketLicense:GPL-3.0Stargazers:0Issues:1Issues:0

racket

The Racket repository

Language:RacketStargazers:0Issues:2Issues:0

racket-poppler

Racket bindings for Poppler (library for reading and generating pdfs)

Language:HTMLStargazers:0Issues:1Issues:0
Language:RacketLicense:NOASSERTIONStargazers:0Issues:2Issues:0
Language:RacketStargazers:0Issues:2Issues:0

rosette

The Rosette solver-aided host language, sample solver-aided DSLs, and demos

Language:RacketLicense:NOASSERTIONStargazers:0Issues:1Issues:0
Language:HTMLStargazers:0Issues:2Issues:0

travis-racket

Use Travis with Racket

Language:ShellStargazers:0Issues:2Issues:0

type-systems-seminar

Notes for winter 2018 PL seminar

Language:RacketStargazers:0Issues:2Issues:0

typed-racket

Typed Racket

Language:RacketStargazers:0Issues:2Issues:0