co-dan/hott-snippets co-dan/hott-snippets

  • Stars
    star
    1
  • Language Coq
  • Created almost 7 years ago
  • Updated almost 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
co-dan/hott-snippets
github

co-dan

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

snippin

More Repositories

1

interactive-diagrams

Interactive-diagrams
Haskell
39
star
2

alfred-teatimer

Simple timer workflow for Alfred 2
Ruby
5
star
3

thesis

The Coq code for my PhD thesis
Coq
4
star
4

graphviz-render

A simple Haskell/Scotty web service for rendering Graphviz documents
HTML
3
star
5

SeLoC

Strong non-interference for fine-grained concurrent programs
Coq
3
star
6

pipes-irc

A Proxy interface to the Internet Relay Chat
Haskell
2
star
7

BI-cutelim

Cut elimination for the logic of Bunched Implications (BI), and some extensions.
Coq
2
star
8

co-dan

what am i doing here?
1
star
9

niels-HITs-coq

several HITs
Coq
1
star
10

NPNTool

Petri net tools for Haskell
Haskell
1
star