Giters
Daniel Patterson (dbp)

dbp

Geek Repo

97

followers

0

following

40

stars

Company:Northeastern University

Location:Boston, MA

Home Page:https://dbp.io

Github PK Tool:Github PK Tool

Daniel Patterson's repositories

howtoproveacompiler

Writeup that goes along with this:

Language:CoqStargazers:38Issues:4Issues:0

howtoprovefullabstraction

Writeup that goes along with this:

Language:CoqStargazers:15Issues:2Issues:0

hspec-snap

Language:HaskellLicense:BSD-3-ClauseStargazers:13Issues:3Issues:6

isl-spec

Intermediate Student with Lambda (ISL+) Enhanced with Specification support via Quickcheck

Language:RacketLicense:MITStargazers:6Issues:2Issues:0

literatecoq

Language:CoqLicense:ISCStargazers:6Issues:3Issues:0

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.

Language:HaskellLicense:ISCStargazers:3Issues:2Issues:0

captcha

Language:PythonStargazers:1Issues:2Issues:0

gradescope-racket

Infrastructure to autograde Racket code on Gradescope

Language:RacketStargazers:1Issues:1Issues:0

pnp

Lecture notes for a short course on proving/programming in Coq via SSReflect.

Language:CoqLicense:BSD-2-ClauseStargazers:1Issues:2Issues:0

website

Language:HTMLStargazers:1Issues:2Issues:2

basta

Language:JavaScriptStargazers:0Issues:3Issues:0

bottlenose

CS assignment / grade mangement system

Language:RubyLicense:AGPL-3.0Stargazers:0Issues:1Issues:0

ccisphds

Language:HaskellStargazers:0Issues:2Issues:0

components

Language:OCamlStargazers:0Issues:1Issues:0

debug-mf

Language:LeanStargazers:0Issues:2Issues:0

htdp-examplar

Language:RacketLicense:MITStargazers:0Issues:3Issues:0

icfp2019-papers

ICFP 2019 preprints/papers

Stargazers:0Issues:2Issues:0

larceny

An HTML5 templating language.

Language:HTMLLicense:ISCStargazers:0Issues:2Issues:0

lean4

Lean 4 programming language and theorem prover

Language:LeanLicense:Apache-2.0Stargazers:0Issues:1Issues:0

learnyouahaskell.github.io

A community version of the renowned "Learn You a Haskell" (LYAH) tutorials collection!

License:NOASSERTIONStargazers:0Issues:1Issues:0

logic_and_proof

CMU Undergrad Course

Language:TeXLicense:Apache-2.0Stargazers:0Issues:1Issues:0

mail

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:4

Meta

Mechanizing Types and Programming Languages using Beluga

Language:TeXStargazers:0Issues:2Issues:0

ott

The Ott tool for writing definitions of programming languages and calculi

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:2Issues:0

PG

This repo is the new home of Proof General

Language:Emacs LispLicense:GPL-2.0Stargazers:0Issues:2Issues:0

pyret-lang

The Pyret language.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:1Issues:0

stipends

Application for collection & displaying PhD student stipends at Northeastern University.

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

todo

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

wasm-spec

WebAssembly specification, reference interpreter, and test suite.

Language:WebAssemblyLicense:NOASSERTIONStargazers:0Issues:1Issues:0

WasmCert-Coq

An in-progress mechanisation of Wasm in Coq

Language:CoqLicense:MITStargazers:0Issues:1Issues:0