vincenthz/hs-crypto-cipher external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

vincenthz/hs-crypto-cipher

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/vincenthz/hs-crypto-cipher)

Close

vincenthz / hs-crypto-cipherView on GitHubMore

• External links
• Readme badge

DEPRECATED by cryptonite; A collection of cryptographic block and stream ciphers in haskell

☆22Mar 13, 2014Updated 12 years ago

Alternatives and similar repositories for hs-crypto-cipher

Users that are interested in hs-crypto-cipher are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• nh2 / haskell-static-data-sqlite

  View on GitHub
  Example how to append data to a Haskell executable using sqlite
  ☆10Mar 16, 2020Updated 6 years ago
• PeterDWhite / Osker

  View on GitHub
  Sharing work on resumption monad
  ☆12Sep 18, 2012Updated 13 years ago
• ekmett / category-extras

  View on GitHub
  category-theoretic goodness for Haskell
  ☆18Jun 23, 2010Updated 15 years ago
• jmchapman / TT-in-TT

  View on GitHub
  Type theory in type theory
  ☆16Feb 26, 2012Updated 14 years ago
• haskell-distributed / distributed-static

  View on GitHub
  Support for static values
  ☆22Sep 3, 2024Updated last year
• Managed hosting for WordPress and PHP on Cloudways • Ad
  Managed hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
• haskell-distributed / distributed-process-demos

  View on GitHub
  Cloud Haskell Demonstration
  ☆18Sep 5, 2015Updated 10 years ago
• pi8027 / efficient-finfun

  View on GitHub
  ☆13Nov 23, 2019Updated 6 years ago
• Blaisorblade / Agda-playground

  View on GitHub
  My Agda experiments
  ☆12Sep 26, 2019Updated 6 years ago
• mchav / GeoQuiz-Frege

  View on GitHub
  A Frege port of the GeoQuiz application from the Android BigNerd Ranch Book.
  ☆11Apr 25, 2017Updated 8 years ago
• tangentforks / FourColorTheorem

  View on GitHub
  Gonthier's formal proof of the 4-color theorem, in Coq.
  ☆11Dec 29, 2015Updated 10 years ago
• pkshashank / GFLeanTransfer

  View on GitHub
  ☆13Mar 27, 2024Updated 2 years ago
• mikeizbicki / simd

  View on GitHub
  simple interface to ghc's simd vector support
  ☆23Jun 25, 2015Updated 10 years ago
• ekmett / hybrid-vectors

  View on GitHub
  Hybrid vectors e.g. mixed boxed/unboxed vectors that are suitable for use with vector-algorithms
  ☆14Aug 29, 2025Updated 7 months ago
• eugmes / imp

  View on GitHub
  Compiler for IMP programming language implemented in Haskell
  ☆16Jun 16, 2020Updated 5 years ago
• GPUs on demand by Runpod - Special Offer Available • Ad
  Run AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
• the-real-blackh / cassandra-cql

  View on GitHub
  Haskell client for Cassandra's CQL protocol
  ☆28Jul 10, 2017Updated 8 years ago
• opencompl / C-parsing-for-Lean4

  View on GitHub
  A parser for ANSI C, in Lean4.
  ☆24Nov 16, 2023Updated 2 years ago
• jwiegley / categorical

  View on GitHub
  Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work
  ☆19Jan 28, 2018Updated 8 years ago
• haskell-cryptography / blake2

  View on GitHub
  A Haskell library providing BLAKE2
  ☆11Jun 27, 2023Updated 2 years ago
• bitc / hs-vault-tool

  View on GitHub
  Haskell client library for HashiCorp's Vault tool (via HTTP API)
  ☆10Oct 28, 2021Updated 4 years ago
• dkholod / GoogleCloudChaosMonkey

  View on GitHub
  Google Cloud Chaos Monkey tool
  ☆10Feb 28, 2018Updated 8 years ago
• gniquil / ex_minimatch

  View on GitHub
  ☆13Apr 15, 2022Updated 4 years ago
• simonmar / par-tutorial

  View on GitHub
  A tutorial on Parallel and Concurrent Haskell
  ☆221Feb 7, 2013Updated 13 years ago
• jwiegley / logging

  View on GitHub
  ☆16Mar 22, 2025Updated last year
• Simple, predictable pricing with DigitalOcean hosting • Ad
  Always know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
• sconybeare / mltt

  View on GitHub
  Implementation of Martin-Löf Type Theory in Haskell
  ☆16Feb 21, 2016Updated 10 years ago
• ekmett / charset

  View on GitHub
  fast utf-8 character sets
  ☆14Mar 3, 2025Updated last year
• YoshikuniJujo / lojban_parser

  View on GitHub
  lojban parser
  ☆24Aug 16, 2014Updated 11 years ago
• tonyg / script-exchange

  View on GitHub
  RabbitMQ "Script Exchange" plugin -- MOVED TO: https://git.leastfixedpoint.com/tonyg/script-exchange
  ☆40Sep 5, 2010Updated 15 years ago
• patrikja / AFPcourse

  View on GitHub
  http://www.cse.chalmers.se/edu/course/afp/
  ☆16Dec 1, 2015Updated 10 years ago
• ndmitchell / safe

  View on GitHub
  Haskell library for safe (pattern match free) functions
  ☆47Feb 4, 2024Updated 2 years ago
• vincenthz / hs-securemem

  View on GitHub
  abstraction for auto scrubbing and const time Eq, memory chunk
  ☆17Feb 15, 2020Updated 6 years ago
• haskell-tls / hs-certificate

  View on GitHub
  Certificate and Key Reader/Writer in haskell
  ☆60Apr 29, 2024Updated last year
• molysgaard / Sirkel

  View on GitHub
  Sirkel; a Chord DHT in haskell. Node failure, replication and batteries included!
  ☆20Oct 9, 2013Updated 12 years ago
• Deploy to Railway using AI coding agents - Free Credits Offer • Ad
  Use Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
• kawu / nerf

  View on GitHub
  Named entity recognition tool based on linear-chain CRFs
  ☆16Dec 3, 2019Updated 6 years ago
• kazu-yamamoto / unix-time

  View on GitHub
  Fast time library
  ☆20Jul 1, 2025Updated 9 months ago
• larrytheliquid / Lemmachine

  View on GitHub
  REST'ful web framework in Agda
  ☆135Sep 5, 2010Updated 15 years ago
• ksss / mruby-stringio

  View on GitHub
  StringIO class for mruby
  ☆11Apr 7, 2025Updated last year
• jhartikainen / hs-language-php

  View on GitHub
  Experimental Haskell PHP parser / evaluator / code generator
  ☆50Apr 28, 2015Updated 10 years ago
• pjones / playlists

  View on GitHub
  Library and executable for working with playlist files.
  ☆13Dec 15, 2025Updated 4 months ago
• bitnomial / bitcoind-rpc

  View on GitHub
  A cilent for the bitcoind JSON-RPC interface
  ☆13Sep 25, 2025Updated 6 months ago