chathhorn

cmachine

A simple virtual machine for the stack machine language described in ch. 2 of Wilhelm and Seidl's "Compiler Design."

posixtestsuite

From: http://posixtest.sourceforge.net/

ReWire

Experimental compiler for a subset of Haskell to VHDL

simple-wave

Simple MS Wave file parser.

blinkybox

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.

copilot-c

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-discussion

copilot-language

copilot-libraries

Copilot libraries that use the Copilot language

copilot-sbv

SBV backend for Copilot.

dhcpcd

DHCP / IPv4LL / IPv6RA / DHCPv6 client

EmailRealmail

hott-notes

15-819 (Homotopy Type Theory) Lecture Notes

k-editor-support

Plugin files for editing K files

notes

orfpv

prezto

The configuration framework for Zsh

Property-Monitors

raycaster

secure-inflow

smtlib2

SMTLib2 interface implementation for Haskell

soco

Automatically exported from code.google.com/p/soco

structured-text

Tools for the IEC 61131-3 language.

ublang