kquick Goto Github PK

polysemy

:gemini: higher-order, no-boilerplate, zero-cost monads

s-cargot

Elaborate and expressive S-Expression library for Haskell

sample-code-annotate

Sample of using org + babel for code annotation

saw-core-what4

Backend for saw-core using the what4 prover infrastructure

saw-script

The SAW scripting language.

sayable

Data structures, classes and operators for constructing context-adjusted pretty output in Haskell

semtk-python3

python3 rest wrapper for SemTK

syntactic

Generic representation and manipulation of abstract syntax

takehome

tasty

Modern and extensible testing framework for Haskell

tasty-checklist

A checklist of results reported as a group for the Haskell Tasty testing framework.

tasty-expected-failure

Mark test cases as expected-failure

tasty-sugar

Haskell test framework for Tests defined by Search Using Golden Answer References

test

test

test-lib

A simple test script, for finding and running tests for an executable.

test_own

testing ownership

theft

property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input

thespian

Python Actor concurrency library

tour_of_nix

Sourcecode to the https://nixcloud.io/tour/ 'a tour of nix'

tup

Tup is a file-based build system.

unique

Library provides the functions to find unique and duplicate elements in the list

vernix

Version-specific nix project specifications

versioning

Type-safe data versioning.

vty-unix

Unix backend for Vty

whom

identity library

yices2

The Yices SMT Solver