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.28K 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
ampersand
You can define your business processes by means of rules, written in Relation Algebra.
Latest release 3.1.0 - Updated - 15 stars
shelltestrunner
shelltestrunner (executable: shelltest) is a portable command-line tool for testing command-line ...
Latest release 1.9 - Updated - 54 stars
git-mediate
Become a conflict resolution hero
Latest release 1.0.5 - Updated - 116 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
BNFC
The BNF Converter is a compiler construction tool generating a compiler front-end from a Labelled...
Latest release 2.8.1 - Updated - 256 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
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
vcswrapper
Provides simple haskell functions to call external source code management systems. Currently git ...
Latest release 0.1.6 - Updated - 4 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
language-docker
All functions for parsing and pretty-printing Dockerfiles are exported through Language.Docker. F...
Latest release 8.0.0 - Updated - 13 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
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
restless-git
Dapp, Seth, Hevm, and more
Latest release 0.7 - Updated - 219 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
herms
HeRM's: a Haskell-based Recipe Manager for delicious kitchen recipes
Latest release 1.9.0.4 - Updated - 132 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
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
pinboard-notes-backup
A command-line application to back up your notes from the Pinboard bookmarking service to a local...
Latest release v1.0.3 - Published - 62 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
lol
Λ ⚬ λ (Lol) is a general-purpose library for ring-based lattice cryptography. For a detailed des...
Latest release 0.6.0.0 - Updated - 83 stars
haskell-snake
Snake game implemetation in Haskell using SDL2
Latest release 1.0.0 - Published - 52 stars
mios
A SAT solver written in Haskell.
Latest release 1.6.2 - Updated - 13 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search