Category haskell

cryptol

cryptol

537 0,0,0,1,0,0,0,-1

Cryptol: The Language of Cryptography

aura

aura

535 0,0

A secure, multilingual package manager for Arch Linux and the AUR - Join us on Freenode in #aurapm, or in our Gitter room at https://gitter.im/aurapm/aura

ghc-mod

ghc-mod

521

Happy Haskell Hacking for editors

legion

legion

510

Simple blockchain server written in haskell. Feedback welcome.

haskoin-core

haskoin-core

482

Haskoin Core is a Bitcoin and Bitcoin Cash library

helm

helm

481 0,0,0,1,0,0,-3,0

A functionally reactive game engine, with headgear to protect you from the headache of game development provided.

ImplicitCAD

ImplicitCAD

474

A math-inspired CAD program in haskell. CSG, bevels, and shells; 2D & 3D; gcode generation...

elm-format

elm-format

469 0,0,3,0,11,2,1,3

elm-format formats Elm source code according to a standard set of rules based on the official Elm Style Guide

miso

miso

469

:ramen: A tasty Haskell front-end framework

hadolint

hadolint

467 0,0,1,1,0

Dockerfile linter written in Haskell

Haskell-Data-Analysis-Cookbook

Haskell-Data-Analysis-Cookbook

464 0,0,1,0,3,0,2,0

Accompanying Source Code for the Haskell Data Analysis Cookbook

hython

hython

457 0,0,0,1,0

Haskell-powered Python 3 interpreter