• Stars
    star
    1
  • Language
    TeX
  • Created about 11 years ago
  • Updated almost 11 years ago

Reviews

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

Repository Details

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.

More Repositories

1

mechanics

(in progress) Racket port of the SICM scmutils library
Racket
32
star
2

iPoe

Interactive POetry Editor
Racket
26
star
3

zordoz

Manipulating racket bytecode
Racket
25
star
4

forth

Forth emulator, as a Racket #lang
Racket
20
star
5

with-cache

Simple, filesystem-based caching for Racket
Racket
17
star
6

pierce-categories

Exercises from "Basic Category Theory for Computer Scientists" by Benjamin Pierce.
TeX
15
star
7

trivial

Stronger types for a few Typed Racket operators
Racket
11
star
8

little-book-of-semaphores

Racket support for implementing the little book
Racket
8
star
9

dissertation

PhD dissertation, Khoury College, Northeastern University, 2020
Racket
7
star
10

assertions

Simple assertions library for OCaml.
OCaml
6
star
11

gtp-benchmarks

Gradual Typing Performance benchmarks
Racket
5
star
12

spreadsheet

Functor for parsing and building spreadsheets
OCaml
5
star
13

gtp-plot

Gradual typing performance plots
Racket
4
star
14

g-pldi-2022

Racket
4
star
15

scribble-abbrevs

Scribble-to-LaTeX helper functions
Racket
4
star
16

pacman-complete

Proof that programming language X can implement a pacman game.
Racket
4
star
17

my-favorite-resume

This is my resume. Original template pilfered from Yisong Yue.
TeX
3
star
18

racket-mutt

Racket API for the Mutt email client
Racket
3
star
19

require-typed-check

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

luau-telemetry

Large-scale, anonymous, randomized logging of type errors in Luau
Racket
3
star
21

glob

Unix-style globbing in Racket
Racket
3
star
22

agile

#lang for agile software development
Racket
3
star
23

gtp-checkup

Correctness test for gradual typing
Racket
2
star
24

doubly-linked

Purely functional doubly-linked lists in OCaml
OCaml
2
star
25

way_of_analysis

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

rational-deep-shallow

2
star
27

racket-minus-contracts

Patch to ignore contracts in your Racket runtime
Racket
2
star
28

rosette-contract

Proving away contracts with Rosette
Racket
2
star
29

gtp-measure

Benchmarking tool
Racket
2
star
30

bubbles

Unit testing in OCaml
Python
2
star
31

advent-of-code

my Advent of Code solutions (https://adventofcode.com)
Racket
2
star
32

tomato-timer

Simple tomato (pomodoro) timer
Racket
1
star
33

julia-local-registry

1
star
34

redex-models

Some models in PLT Redex
Racket
1
star
35

purity

No mutation! Enforced by this library (we'll see)
Racket
1
star
36

rackunit-abbrevs

Abbreviations for RackUnit testing
Racket
1
star
37

php-blg59

Personal website
HTML
1
star
38

require-typed-scv

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

gfd-oopsla-2023

Racket
1
star
40

my-favorite-.emacs.d

my favorite config files
Emacs Lisp
1
star