ryanglscott Goto Github PK

acm-test

arm-asl-parser

Parsing tools for ARM's ASL

attoparsec

A fast Haskell library for parsing ByteStrings

aws-lc-verification

This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.

binary-parsers

Extends binary with parsec/attoparsec style parsing combinators

bluetoothtest

A proof of concept demonstrating that and Android app and a BlueCove server can communicate with each other.

bsc

Bluespec Compiler (BSC)

cabal-gh4253

A minimal example that showcases Cabal bug #4253

cabal-gh4367

Is this cabal issue 4367?

cabal-gh5164

A minimal reproduction of Cabal bug #5164

cabal-gh5213

A minimal reproduction of Cabal bug #5213

cabal-gh5423

A minimal reproduction of Cabal bug #5423

cabal-optional-project-bug

cabal.project's optional-packages are too eager

cabal-project-parser

cabal-sdist-bug

canway

Conway's Game of Life implemented with blank-canvas

cardano-node

The core component that is used to participate in a Cardano decentralised blockchain.

cborg

Binary serialisation in the CBOR format

ci-maintenance

Miscellaneous hacks I use to maintain projects with .travis.yml scripts.

code-generators-issue

code-page

Windows code page library for Haskell

conkin

Tools for functors from Hask^k to Hask

constraint-tuples

Partially applicable constraint tuples

coq-mmaps

Modular Finite Maps overs Ordered Types

crucible

Crucible is a library for symbolic simulation of imperative programs

decidable

Combinators for manipulating dependently-typed predicates.

echo

A cross-platform, cross-console way to handle echoing terminal input

eliminators

Dependently typed elimination functions using singletons

filepath

Haskell FilePath core library

generic-deriving-extra