mhuesch

cabal_unknown_flag_minimal_example

mhueschen-hsom

pandoc

Universal markup converter

bevy_rider

Classic Line Rider implemented with the Bevy engine and Rapier 2D.

bevy_squares

cardano-ledger-specs

A formal specification and executable model of the ledger rules introduced by the Shelley release

covid-ventilator-gantry

dayone2markdown

Converting DayOne journals into markdown files

devcamp7-leap

Peer-to-peer learning application built on Holochain

dwx-zeromq-connector

Wrapper library for algorithmic trading in Python 3, providing DMA/STP access to Darwinex liquidity via a ZeroMQ-enabled MetaTrader Bridge EA.

elemental-chess

fifteen

15 puzzle as a haskell tui application

ghc-datasize

ghc-datasize is a tool to determine the size of Haskell data structures in GHC's memory

gotta-go-fast

A command line utility for practicing typing and measuring your WPM and accuracy.

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

haskell.nix

Alternative Haskell Infrastructure for Nixpkgs

herms

:stew::fork_and_knife: A command-line manager for delicious kitchen recipes

hint-playground

maze

a tui maze game

miniserve

🌟 For when you really just want to serve some files over HTTP right now!

music-suite

Music in Haskell

nixos-yubikey-luks

Set up a LUKS-encrypted filesystem for Yubikey in NixOS

NUR

Nix User Repository: User contributed nix packages [maintainer=@Mic92]

nur-packages

My NUR packages

poly-rs

archived: please see https://github.com/sacredcapital/ReputationDSL

ReputationInterchange

Technical Architecture

scryer-prolog

A modern Prolog implementation written mostly in Rust.

stylish-haskell

Haskell code prettifier

write-you-a-haskell

Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

youbrick

Terminal feed aggregator and launcher for Youtube channels