Ecosyste.ms: Awesome

https://github.com/cdepillabout/termonad

Terminal emulator configurable in Haskell.

configurable gtk hacktoberfest haskell terminal-emulator vte

Last synced: 01 Aug 2024

https://github.com/cdepillabout/pretty-simple

pretty-printer for Haskell data types that have a Show instance

ghci hacktoberfest haskell pretty-print pretty-simple

Last synced: 02 Aug 2024

https://github.com/cdepillabout/nix-query-tree-viewer

GTK viewer for the output of `nix-store --query --tree`

gtk gui hacktoberfest nix nix-store pretty rust

Last synced: 27 Sep 2024

https://github.com/cdepillabout/stacklock2nix

Easily build a Haskell project from a stack.yaml.lock file with Nix

hacktoberfest haskell nix nixpkgs stack stackage

Last synced: 27 Sep 2024

https://github.com/cdepillabout/world-peace

open union and open product types in Haskell

hacktoberfest haskell open-sum-types

Last synced: 02 Aug 2024

https://github.com/cdepillabout/cabal2nixWithoutIFD

hacktoberfest haskell nix purenix purescript

Last synced: 02 Aug 2024

https://github.com/cdepillabout/servant-rawm

Effectful Raw handler for Servant servers.

hacktoberfest haskell raw servant

Last synced: 29 Sep 2024

https://github.com/cdepillabout/nix-reverse-deps-of-haskell-package

Find or build all reverse dependencies of a Haskell package using Nix

build haskell nix reverse-dependencies

Last synced: 15 Aug 2024

https://github.com/cdepillabout/coq-equivalence-not-congruence

Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations

congruence coq equivalence-relation proof

Last synced: 27 Sep 2024