Chris Hathhorn's repositories
posixtestsuite
From: http://posixtest.sourceforge.net/
simple-wave
Simple MS Wave file parser.
blockchain-k-plugin
K plugin for IELE and KEVM
c-semantics
Semantics of C in K
Copilot
A (Haskell DSL) stream language for generating hard real-time C code.
Language:HaskellNOASSERTION000
copilot-c99
A C99-backend for Copilot
copilot-cbmc
cbmc based tool for verifying copilot programs
copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
copilot-libraries
Copilot libraries that use the Copilot language
copilot-sbv
SBV backend for Copilot.
hott-notes
15-819 (Homotopy Type Theory) Lecture Notes
k-editor-support
Plugin files for editing K files
000
prezto
The configuration framework for Zsh
Language:Shell000
Language:HaskellGPL-3.0000
structured-text
Tools for the IEC 61131-3 language.