bennn/gtp-benchmarks

Stars
5
Rank 2,861,937 (Top 57 %)
Language
Racket
License
Other
Created almost 7 years ago
Updated over 1 year ago

bennn/gtp-benchmarks

bennn

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

Gradual Typing Performance benchmarks

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.

spreadsheet

Functor for parsing and building spreadsheets

gtp-plot

Gradual typing performance plots

g-pldi-2022

scribble-abbrevs

Scribble-to-LaTeX helper functions

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.