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
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
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
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
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
highlighting-kate
highlighting-kate is a syntax highlighting library with support for nearly one hundred languages....
Latest release 0.6.4 - Updated - 106 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
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
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
herms
HeRM's: a Haskell-based Recipe Manager for delicious kitchen recipes
Latest release 1.9.0.4 - Updated - 80 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
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
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
ajhc
Ajhc is a fork of jhc. The jhc is a haskell compiler which aims to produce the most efficient pro...
Latest release 0.8.0.10 - Updated - 133 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
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
tamarin-prover-term
This is an internal library of the Tamarin prover for security protocol verification (hackage.has...
Latest release 0.8.5.1 - Updated - 130 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
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
lol-cpp
Λ ∘ λ (Lol) is a general-purpose library for ring-based lattice cryptography. This package provid...
Latest release 0.0.0.3 - Updated - 83 stars
restless-git
Dapp, Seth, Hevm, and more
Latest release 0.7 - Updated - 76 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
haskell-snake
Snake game implemetation in Haskell using SDL2
Latest release 1.0.0 - Published - 52 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
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
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search