Giters
William Mansky (mansky1)

mansky1

Geek Repo

8

followers

0

following

0

stars

Company:@UIC

Home Page:https://www.cs.uic.edu/~mansky/

Github PK Tool:Github PK Tool

William Mansky's repositories

worcshop

Language:CoqStargazers:3Issues:2Issues:0

fsfoundation

The F# Software Foundation website

Language:CSSStargazers:0Issues:1Issues:0

iris-project

Language:HTMLStargazers:0Issues:0Issues:0

kerlang

kerlang is a formal definition of the semantics of the Erlang programming language using the K framework.

License:GPL-3.0Stargazers:0Issues:2Issues:0

morpheus

A domain-specific language for compiler optimizations, using temporal logic side conditions.

Language:F#Stargazers:0Issues:1Issues:0

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

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

ora

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