Pinned Repositories
LoCo
LoCo : Location Constraints, Optimal, Pear : DSLs for optimal parsing
ASKE-E-Simulation-WG
awesome-tuis
List of projects that provide terminal user interfaces
cerberus
Cerberus C semantics
cn-tutorial
comp20-ccowger
COMP 20 Spring 2017 Private Repo for Charles Cowger
coup-game
daedalus
The Daedalus data description language
FabSim3
Python 3 version of FabSim
pads-haskell
Haskell binding for PADS
samcowger's Repositories
samcowger/ASKE-E-Simulation-WG
samcowger/awesome-tuis
List of projects that provide terminal user interfaces
samcowger/cerberus
Cerberus C semantics
samcowger/cn-tutorial
samcowger/comp20-ccowger
COMP 20 Spring 2017 Private Repo for Charles Cowger
samcowger/coup-game
samcowger/daedalus
The Daedalus data description language
samcowger/FabSim3
Python 3 version of FabSim
samcowger/hsntp
samcowger/ouroboros-network
An implementation of the Ouroboros family of consensus algorithms, with its networking support
samcowger/pads-haskell
Haskell binding for PADS
samcowger/pcap
Haskell bindings for the pcap library, which provides a low level interface to packet capture systems.
samcowger/polyfile
A utility for mapping the file formats embedded within a single file
samcowger/samcowger.github.io
samcowger/kvitable
Haskell Key/Value Indexed Table library
samcowger/ssh-hans
samcowger/time
The most used Rust library for date and time handling.
samcowger/what4-solvers
Multi-platform binary creation for solvers of the versions most suitable for use with What4