bennn/scribble-abbrevs

Stars
4
Rank 3,304,323 (Top 66 %)
Language
Racket
License
Other
Created about 7 years ago
Updated over 1 year ago

bennn/scribble-abbrevs

bennn

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Scribble-to-LaTeX helper functions

mechanics

(in progress) Racket port of the SICM scmutils library

iPoe

Interactive POetry Editor

zordoz

Manipulating racket bytecode

forth

Forth emulator, as a Racket #lang

with-cache

Simple, filesystem-based caching for Racket

pierce-categories

Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.

trivial

Stronger types for a few Typed Racket operators

little-book-of-semaphores

Racket support for implementing the little book

dissertation

PhD dissertation, Khoury College, Northeastern University, 2020

assertions

Simple assertions library for OCaml.

gtp-benchmarks

Gradual Typing Performance benchmarks

spreadsheet

Functor for parsing and building spreadsheets

gtp-plot

Gradual typing performance plots

g-pldi-2022

pacman-complete

Proof that programming language X can implement a pacman game.

my-favorite-resume

This is my resume. Original template pilfered from Yisong Yue.

racket-mutt

Racket API for the Mutt email client

require-typed-check

Racket's require/typed, but avoids generating contracts for typed-to-typed interaction

luau-telemetry

Large-scale, anonymous, randomized logging of type errors in Luau

glob

Unix-style globbing in Racket

agile

#lang for agile software development

gtp-checkup

Correctness test for gradual typing

doubly-linked

Purely functional doubly-linked lists in OCaml

way_of_analysis

Exercises from Strichartz's "Way of Analysis. By Harris Karsch & Ben Greenman

rational-deep-shallow

racket-minus-contracts

Patch to ignore contracts in your Racket runtime

rosette-contract

Proving away contracts with Rosette

gtp-measure

Benchmarking tool

bubbles

Unit testing in OCaml

advent-of-code

my Advent of Code solutions (https://adventofcode.com)

tomato-timer

Simple tomato (pomodoro) timer

julia-local-registry

redex-models

Some models in PLT Redex

purity

No mutation! Enforced by this library (we'll see)

rackunit-abbrevs

Abbreviations for RackUnit testing

php-blg59

Personal website

require-typed-scv

Typed Racket's `require/typed`, with soft contract verification

gfd-oopsla-2023

my-favorite-.emacs.d

my favorite config files

statement_of_purpose

This is my statement of purpose. It is in version control so I can see how it changes over time. It is in a public repository because I like github but not enough to pay for it.