robdockins Goto Github PK

canonical-lf

A Haskell implementation of LF

coqutils

A collection of Coq utilities

cryptol

Cryptol: The Language of Cryptography

domains

A formal development of constructive domain theory in Coq

edison

Edison: A Library of Efficient Data Structures

frpnow

geometric-algebra

An implementation of the operations of the geometric algebra

goparsebsv

A standalone parser for BSV (Bluespec SystemVerilog) written in Go

ihaskell

A Haskell kernel for IPython.

itanium-abi

An implementation of C++ name mangling for the Itanium ABI

lambda-shell

A REPL for working with terms of the pure, untyped lambda calculus

large-gf

Implementation of some fairly large finite fields

llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

llvm-pretty-bc-parser

Parser for the llvm bitcode format

macaw

Open source binary analysis tools.

mir-verifier

SAW front end for the MIR language from rustc

ordinals

A simple development of constructive ordinals

orlin

param-tlc

Example project demonstrating the use of the parameterized-utils library

s2n

s2n : an implementation of the TLS/SSL protocols

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

shellac

A library for constructing read-eval-print loops in a declarative manner

simple-smt

tasty-ant-xml

A tasty ingredient to output test results in XML, using the Ant schema. This XML can be consumed by the Jenkins continuous integration framework.

wwvb

Data structures and algorithms for working with WWVB timecodes