Giters
Steve Zdancewic (Zdancewic)

Zdancewic

Geek Repo

62

followers

2

following

8

stars

Company:University of Pennsylvania

Location:United States

Home Page:http://www.cis.upenn.edu/~stevez

Github PK Tool:Github PK Tool

Steve Zdancewic's repositories

linearity

Formalization of Linear Logic and Related Programming Languages Metatheory

Language:CoqStargazers:10Issues:2Issues:0

ccc

Language:OCamlStargazers:4Issues:4Issues:0

oplss2024

OPLSS 2024 Coq Development

Language:HTMLLicense:MITStargazers:3Issues:0Issues:0

owl

Universal toplevel for OCaml

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

coq-ext-lib

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

graphs

Coq formalization of graph language

Language:CoqStargazers:2Issues:2Issues:0

math-classes

A library of abstract interfaces for mathematical structures in Coq.

Language:CoqLicense:NOASSERTIONStargazers:1Issues:2Issues: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:0Issues:1Issues:0

emacs24-starter-kit

A cleaner version of the literate starter kit based on Emacs24

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

OcaIDE

An OCaml plug-in for Eclipse

Language:JavaStargazers:0Issues:2Issues:0

SIGPLAN.github.io

SIGPLAN website

Language:HTMLStargazers:0Issues:0Issues:0

TestXCode

Language:SwiftStargazers:0Issues:0Issues:0