Giters
Benjamin Pierce (bcpierce00)

bcpierce00

Geek Repo

238

followers

0

following

0

stars

Company:University of Pennsylvania

Home Page:https://cis.upenn.edu/~bcpierce

Github PK Tool:Github PK Tool

Benjamin Pierce's repositories

unison

Unison file synchronizer

Language:OCamlLicense:GPL-3.0Stargazers:3883Issues:80Issues:549

au-fsv23

CIS 5000 Fall 23 - Forked version of Docker container for Formal Software Verification 2022 course

Language:DockerfileLicense:MITStargazers:3Issues:1Issues:0

interfering

Language:TeXStargazers:2Issues:7Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:1Issues:3Issues:0

acm-climate

Language:TeXStargazers:0Issues:6Issues:0

bisimtester

Language:HaskellStargazers:0Issues:6Issues:0

cngen

Language:HaskellStargazers:0Issues:1Issues:0

CSrankings

A web app for ranking computer science departments according to their research output in selective venues.

Language:PythonLicense:NOASSERTIONStargazers:0Issues:3Issues:0

junk

Stargazers:0Issues:3Issues:0

RISCV-ISA-Spec

Formal specification of RISC-V Instruction Set

Language:HaskellLicense:MITStargazers:0Issues:4Issues:0

SIGPLAN.github.io

SIGPLAN website

Language:HTMLStargazers:0Issues:3Issues:0