Giters
Ben Delaware (bendy)

bendy

Geek Repo

21

followers

0

following

0

stars

Home Page:https://www.cs.purdue.edu/homes/bendy/

Github PK Tool:Github PK Tool

Ben Delaware's repositories

SFExtras

Formalizations of a selection of programming language topics in the style of Software Foundations.

Language:CoqStargazers:5Issues:1Issues:0

bytestring-fiat

An implementation of the Haskell ByteString library using the Fiat system from MIT

Language:CoqLicense:NOASSERTIONStargazers:0Issues:0Issues:0

coq-idt

Inductive definition transformers

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

CS307Demo

A simple repository for demoing git.

Stargazers:0Issues:0Issues:0

CS565Grader

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

docker-taype

Language:DockerfileStargazers:0Issues:0Issues:0

fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

Language:CoqLicense:NOASSERTIONStargazers:0Issues:2Issues:0

fiat-asn.1

A formally verified ASN.1 compiler using Fiat.

Language:CoqStargazers:0Issues:2Issues:0

repo-unstable

The repository for development packages.

License:MITStargazers:0Issues:1Issues:0