leepike

Copilot

A (Haskell DSL) stream language for generating hard real-time C code.

SmartCheck

A Smarter QuickCheck

theresistance

Bayesian solver for The Resistance card game: https://en.wikipedia.org/wiki/The_Resistance_(game)

copilot-language

copilot-discussion

atom

A DSL for embedded hard realtime applications.

copilot-sbv

SBV backend for Copilot.

copilot-cbmc

cbmc based tool for verifying copilot programs

copilot-c99

A C99-backend for Copilot

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

sbv

Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

ivory-hoare-examples

Small pre/post examples in Ivory.

amazon-codeguru-reviewer-sample-app

happy-plus-alex

Template for quickly and easily combining happy and alex

hs-ieee754

Approximate comparisons for IEEE floating point numbers in Haskell

ivory-backend-acl2

An Ivory to ACL2 compiler.

java_repos

java repos for trial event

june-drop-odroid-manifest

leepike.github.io

liquidhaskell

Liquid Types For Haskell

nasa-affirm

Architectural Framework For Integrated Refinement Modeling

python_repos

Python repos for bugbust trial event

quickcheck

Automatic testing of Haskell programs. For reporting bugs, please use the mailing list, quickcheck@projects.haskell.org!

simple-spreadsheet-tools

Simple text-based spreadsheet tools