dbp
teaching faculty at Northeastern University. formerly PhD student @nuprl, member/owner at @positiondev.
Northeastern UniversityBoston, MA
Pinned Repositories
funtal
FunTAL: mixing a functional language with assembly.
howtoproveacompiler
Writeup that goes along with this:
howtoprovefullabstraction
Writeup that goes along with this:
sublime-rust
DEPRECATED: see rust-lang/rust-enhanced (new maintainer)
fn
A functional web framework
hworker
A reliable at-least-once job queue built on Redis.
larceny
An HTML5 templating language.
periodic
A reliable periodic job runner.
rivet
A database migration library for Haskell
dbp's Repositories
dbp/howtoproveacompiler
Writeup that goes along with this:
dbp/howtoprovefullabstraction
Writeup that goes along with this:
dbp/hspec-snap
dbp/isl-spec
Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck
dbp/literatecoq
dbp/shoebox
Shoebox: a durable repository for human-scale collections of files, like the shoebox full of old letters and family photos discovered 50 years later.
dbp/captcha
dbp/gradescope-racket
Infrastructure to autograde Racket code on Gradescope
dbp/pnp
Lecture notes for a short course on proving/programming in Coq via SSReflect.
dbp/website
dbp/basta
dbp/bottlenose
CS assignment / grade mangement system
dbp/ccisphds
dbp/components
dbp/debug-mf
dbp/htdp-examplar
dbp/icfp2019-papers
ICFP 2019 preprints/papers
dbp/larceny
An HTML5 templating language.
dbp/lean4
Lean 4 programming language and theorem prover
dbp/learnyouahaskell.github.io
A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!
dbp/logic_and_proof
CMU Undergrad Course
dbp/mail
dbp/Meta
Mechanizing Types and Programming Languages using Beluga
dbp/ott
The Ott tool for writing definitions of programming languages and calculi
dbp/PG
This repo is the new home of Proof General
dbp/pyret-lang
The Pyret language.
dbp/stipends
Application for collection & displaying PhD student stipends at Northeastern University.
dbp/todo
dbp/wasm-spec
WebAssembly specification, reference interpreter, and test suite.
dbp/WasmCert-Coq
An in-progress mechanisation of Wasm in Coq