Pinned Repositories
codec
Easy bidirectional serialization in Haskell
dargent-examples
Dargent layout specs in cogent
emacs-powerline
Powerline for Emacs
fstest
POSIX Filesystem Test Suite
graph-wrapper
A wrapper around the standard Data.Graph with a less awkward interface
hdbc-odbc
ODBC driver for HDBC
matterhorn
Terminal client for MatterMost chat system
persistent-odbc
uses persistent connecting via hdbc odbc
PLV-RG
The (formerly @au-ts) PL&V Reading Group
ref-hoare
A Hoare-Logic Style Refinement Types Formalisation
zilinc's Repositories
zilinc/PLV-RG
The (formerly @au-ts) PL&V Reading Group
zilinc/ref-hoare
A Hoare-Logic Style Refinement Types Formalisation
zilinc/codec
Easy bidirectional serialization in Haskell
zilinc/dargent-examples
Dargent layout specs in cogent
zilinc/emacs-powerline
Powerline for Emacs
zilinc/fstest
POSIX Filesystem Test Suite
zilinc/graph-wrapper
A wrapper around the standard Data.Graph with a less awkward interface
zilinc/hdbc-odbc
ODBC driver for HDBC
zilinc/matterhorn
Terminal client for MatterMost chat system
zilinc/persistent-odbc
uses persistent connecting via hdbc odbc
zilinc/popl2017-papers
Link to preprints for POPL'17 and co-located events
zilinc/popl23-artefact
zilinc/stack
The Haskell Tool Stack
zilinc/zilinc.github.io