ersatz-kissatapi

Stars
1
View Code on GitHub
Ecosystems: Haskell

Statistics for this project are still being loaded, please check back later.

Related Projects
irt

A Haskell library similar in functionality to the CAT portions of the `catIrt` R library

08 Sep 2014 3
sarif

Haskell library for reading and writing SARIF files

21 Dec 2022 1
haskell-lsp-client

Client library for haskell-lsp

02 Aug 2017 11
ecdsa-haskell

ECDSA stuff in Haskell

22 Feb 2014 3
awesome-haskell

A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome pr...

13 Jul 2014 3,021
ersatz

A monad for interfacing with external SAT solvers

14 Jun 2010 63
haskell-project-ideas

Free ideas, worth every penny

27 Apr 2019 31
haskeline

A Haskell library for line input in command-line programs.

31 Oct 2013 222
minisat-haskell-bindings

Haskell-Bindings to MiniSat

28 Apr 2011 12
crypto-pubkey-openssh

OpenSSH keys decoder/encoder

19 Jan 2013 7
hart

Haskell prettifier

09 Jun 2018 5
haskell-ecosystem

09 Mar 2017 8
codex

UI experiments for coda

17 May 2019 65
matchbox

the Matchbox termination prover

04 Feb 2013 1
haskell-irc

IRC client in Haskell and CoffeeScript

07 Dec 2011 7