bennn Goto Github PK

javab

Slightly modified Java compiler. Tracks shape use. It's really not much.

jazz-schedule-website

website that lists upcoming NYC jazz events in a cohesive way and includes integration with a personal calendar api. 50/50 chance of completion!

joy-of-cats

julia-local-registry

kleenexlang

The Kleenex programming language

krun

Soft-dev benchmark runner in Python.

lang-file

Functions for dealing with #lang files

learn-you-an-agda

Learn you an Agda (and achieve enlightenment)

leibniz

A Digital Scientific Notation

little-book-of-semaphores

Racket support for implementing the little book

luau-telemetry

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

macro-debugger

make-log-interceptor

Collect log events, filtered by logger, topic, and level.

markdown

Markdown parser written in Racket.

math

math-genealogy

List the ancestors of your favorite mathematician.

matrix-computations

Development for Golub & Van Loan's book

mechanics

(in progress) Racket port of the SICM scmutils library

mf-apply

PLT Redex lang extension for metafunction application

my-favorite-.emacs.d

my favorite config files

my-favorite-resume

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

mypy

Optional static typing for Python

neovim

Vim-fork focused on extensibility and usability

nlp

nuprl.github.io

Web site

ocaml

The core OCaml system: compilers, runtime system, base libraries

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

ordinarydiffeq.jl

High performance ordinary differential equation (ODE) and differential-algebraic equation (DAE) solvers, including neural ordinary differential equations (neural ODEs) and scientific machine learning (SciML)

osc

Racket bindings for OSC

pacman-complete

Proof that programming language X can implement a pacman game.