jbclements Goto Github PK

ragg

A parser generator generator

rai

Racket Abstract Interpretation

repo-manager-app

Web app for Racket pkg repo managers

repro-in-cs

Tracking Responses to the "Reproducibility in Computer Science" Repository (http://reproducibility.cs.arizona.edu/)

rosette

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

rsc3

rsc3 ported to Racket and organized as package

rsound

A cross-platform sound library for DrRacket

rtmidi

Racket bindings for RtMidi

rust

a safe, concurrent, practical language

rust-antlr

An ANTLR grammar for Rust

rust-redex

A Redex Model of Rust, or more specifically an encoding of Patina, the formal model for rust's type safety

rustyracketdemo

sccalabres-csc_430

schism

Semi-implicit Cross-scale Hydroscience Integrated System Model (SCHISM)

scribble

seniorproject

Senior Project Code

simply-scheme

simply-scheme language bindings for Racket

slatex

sonic-pi

Sonic Pi experimentation in Racket

sparse

Sparse: Test Generation for Simple S-expression Language

sqlite-table

a racket interface to simplify the creation of sqlite tables, including basic support for SELECT

stepper

The DrRacket Stepper

suffixtree

An implementation of Ukkonen's algorithm for Suffix Trees in pure Racket

sxml

Oleg Kiselyov's sxml/ssax/sxpath/sxslt libraries (racket-specific)

t-test

Implementations of Student's T-Test and Welch's T-Test for Racket

terrible-scribble-hack

This repo contains the horribly hacked scribble code that I used to compile my soups submission

test-repo

text-table

A simple Racket package to display text tables with utf-8 boxes

tr-pfds

Typed Racket data structure libraries

typed-racket

Typed Racket