bennn/g-pldi-2022 bennn/g-pldi-2022

  • Stars
    star
    4
  • Rank 3,304,323 (Top 66 %)
  • Language
    Racket
  • License
    Other
  • Created over 3 years ago
  • Updated 9 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bennn/g-pldi-2022
github

bennn

Reviews

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

Repository Details

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

scribble-abbrevs

Scribble-to-LaTeX helper functions
Racket
4
star
15

pacman-complete

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

my-favorite-resume

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

racket-mutt

Racket API for the Mutt email client
Racket
3
star
18

require-typed-check

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

luau-telemetry

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

glob

Unix-style globbing in Racket
Racket
3
star
21

agile

#lang for agile software development
Racket
3
star
22

gtp-checkup

Correctness test for gradual typing
Racket
2
star
23

doubly-linked

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

way_of_analysis

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

rational-deep-shallow

2
star
26

racket-minus-contracts

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

rosette-contract

Proving away contracts with Rosette
Racket
2
star
28

gtp-measure

Benchmarking tool
Racket
2
star
29

bubbles

Unit testing in OCaml
Python
2
star
30

advent-of-code

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

tomato-timer

Simple tomato (pomodoro) timer
Racket
1
star
32

julia-local-registry

1
star
33

redex-models

Some models in PLT Redex
Racket
1
star
34

purity

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

rackunit-abbrevs

Abbreviations for RackUnit testing
Racket
1
star
36

php-blg59

Personal website
HTML
1
star
37

require-typed-scv

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

gfd-oopsla-2023

Racket
1
star
39

my-favorite-.emacs.d

my favorite config files
Emacs Lisp
1
star
40

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.
TeX
1
star