Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / jbclements
Developer Profile

jbclements

Discovered public repositories for jbclements in the GitHub catalog.

↗

jbclements/frog

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

↗

jbclements/repro-in-cs

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

↗

jbclements/mboxrd-read

racket functions for reading the MBOXRD (that is, the standard mbox) format. Yes, there are a few close relatives of this.

↗

jbclements/rust-redex

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

↗

jbclements/sxml

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

↗

jbclements/ErrRecorder

ErrRecorder is a Dr. Racket collection that records all errors made during your session and sends them to a database. Users can access proposed solutions for their error through the website.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.