c2hs
C->Haskell assists in the development of Haskell bindings to C libraries. It extracts interface i...
Latest release 0.28.6 - Updated - 137 stars
hadolint
A smarter Dockerfile linter that helps you build best practice Docker images.
Latest release 1.15.0 - Updated - 1.26K stars
BNFC
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled...
Latest release 2.8.1 - Updated - 255 stars
ampersand
You can define your business processes by means of rules, written in Relation Algebra.
Latest release 3.1.0 - Updated - 15 stars
language-docker
All functions for parsing, printing and writting Dockerfiles are exported through Language.Docker...
Latest release 8.0.0 - Updated - 13 stars
lol-apps
This library contains example cryptographic applications built using lol, a general-purpose libra...
Latest release 0.2.0.2 - Updated - 83 stars
herms
HeRM's: a Haskell-based Recipe Manager for delicious kitchen recipes
Latest release 1.9.0.4 - Updated - 80 stars
lol
Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography. For a detailed desc...
Latest release 0.6.0.0 - Updated - 83 stars
rasa
A modular text editor This is only a snippet, see the project's README. Rasa is a text editor p...
Latest release 0.1.12 - Updated - 520 stars
tamarin-prover
The Tamarin prover is a tool for the analysis of security protocols. It implements a constraint s...
Latest release 0.8.6.3 - Updated - 130 stars
haskell-updater
haskell-updater rebuilds Haskell packages on Gentoo after a GHC upgrade or a dependency upgrade. ...
Latest release 1.3.1 - Updated - 10 stars
vcswrapper
Provides simple haskell functions to call external source code management systems. Currently git ...
Latest release 0.1.6 - Updated - 4 stars
rlwe-challenges
Contains a library for reading serialized challenges (generated with hprotoc) and an executable u...
Latest release 0.1.0.1 - Updated - 83 stars
highlighting-kate
highlighting-kate is a syntax highlighting library with support for nearly one hundred languages....
Latest release 0.6.4 - Updated - 106 stars
cabal-rpm
This package provides a RPM packaging tool for Haskell Cabal-based packages. cabal-rpm has comma...
Latest release 0.12.6 - Updated - 20 stars
BlastHTTP
Searches for a provided nucleotide or protein sequence with the NCBI Blast REST service and retur...
Latest release 1.3.0 - Updated - 4 stars
svm
svm is a library which implements least squares support vector regression. It includes several c...
Latest release 1.0.0.1 - Updated - 33 stars
scholdoc
Scholdoc is a command-line utility that converts ScholarlyMarkdown documents into the HTML5, LaTe...
Latest release 0.1.3 - Published - 285 stars
PortFusion
PortFusion is a minimalistic, cross-platform, transport-layer distributed reverse / forward proxy...
Latest release 1.2.1 - Updated - 153 stars
restless-git
Dapp, Seth, Hevm, and more
Latest release 0.7 - Updated - 76 stars
mida
MIDA is a minimalistic language for algorithmic generation of MIDI files. MIDA is not interactive...
Latest release 1.0.2 - Updated - 5 stars
lol-benches
This library contains code to benchmark lol. It is designed so that third-party tensors can be ea...
Latest release 0.0.0.5 - Updated - 83 stars
cabal-helper
Cabal's little helper provides access to build information gathered by cabal when configuring a p...
Latest release 0.8.1.0 - Updated - 15 stars
lol-repa
Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography. This package provid...
Latest release 0.0.0.2 - Updated - 83 stars
tamarin-prover-theory
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.6.0 - Updated - 130 stars
EntrezHTTP
EntrezHTTP provides functions to query the NCBI entrez REST interface. There are multiple differ...
Latest release 1.0.4 - Updated - 3 stars
github-backup
github-backup is a simple tool you run in a git repository you cloned from Github. It backs up ev...
Latest release 1.20171126 - Updated - 7 stars
tree-diff
Common diff algorithm works on list structures: This package works on trees. This package also ...
Latest release 0.0.2 - Updated - 44 stars
tamarin-prover-utils
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.5.1 - Updated - 130 stars
pretty-compact
This package contains a pretty-printing library, a set of API's that provides a way to easily pri...
Latest release 3.0 - Updated - 16 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search