Discover cdepillabout/post-about-nix-and-haskell Open Source project

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

400

pretty-simple

type-level errors for Servant APIs.

242

servant-checked-exceptions

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

nix-query-tree-viewer

Rust

password

datatypes and functions for easily working with passwords in Haskell

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

stacklock2nix

open union and open product types in Haskell

world-peace

5 ways to test code that accesses a DB in Haskell

testing-code-that-accesses-db-in-haskell

cabal2nixWithoutIFD

Tool for easily building PureScript projects with Nix

purescript2nix

Validating an email address string against RFC 5322

purescript-email-validate

Effectful Raw handler for Servant servers.

servant-rawm

This is a presentation about haskell's type families.

haskell-type-families-presentation

JavaScript

nix-reverse-deps-of-haskell-package

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

Embed a directory of static files in your application and serve them from your Servant server

servant-static-th

break timer that forces you to take a break

break-time

Rust

nix-haskell-updates-status

Automatically-updated Hydra status of the `haskell-updates` branch in Nixpkgs

Shell

servant-on-heroku

Example app showing how to release a Haskell web app on Heroku

Print all the ANSI console colors for your terminal

print-console-colors

purescript-boxes

Haskell wrapper for Yahoo Finance API

yahoo-finance-api

PureScript translation of example JavaScript React app from https://www.roadtoreact.com/

purescript-road-to-react

Example code showing the difference between CPS, codensity, and reflection without remorse styles in Haskell

cps-vs-codensity-vs-reflection-without-remorse

nix-cabal-example-project

QuasiQuoter for XML and HTML Documents

docs

My dot files.

Shell

xml-html-qq

Wrapper around email-validate adding new non-orphaned instances to EmailAddress

emailaddress

command line tool for highlighting parts of files that match a regex

highlight

simple explanation on how to use -ddump-splices with stack

heterocephalus-example

a java project to generate a chosen midi file using a genetic algorithm

geneticmidi

Java

purenix-examples

Examples of common Nix things written in PureNix

Canonical fromMaybeM and fromEitherM functions.

open-blog-posts

Blog posts

from-sum

Envelope type used to return responses from a JSON API for Haskell

envelope

Example servant project used to explain advanced Haskell features like type-level strings, type families, etc.

servant-example

My solutions to various Advent of Code problems

advent-of-code

purescript-typesafe-localstorage

Haskell library for safely reading environment variables

read-env-var

icfp-tutorial-extensible-effects

https://softwarefoundations.cis.upenn.edu/

coq-playground

Coq

software-foundations

HTML

advent-of-code2018

Advent of Code 2018 problems in Haskell. Archived and moved to https://github.com/cdepillabout/advent-of-code

A Haskell data structure for lists with a focus

focuslist

icfp-tutorial-generics

A web scraper that gets information from yahoo.co.jp's japanese dictionaries

dict-scrape

Python

large-file-parser-ng

Parsing a large file with constant heap usage

Ssh server/client in Haskell. Fork of http://hackage.haskell.org/package/ssh

ssh

Notes about problems I could not solve from CTFs.

ctf

large-file-parser

Test code using Haskell's singletons library.

singletons-doggy-test

haskell-meetup-2016-10-23

accelerate-singleton-test

lightning talk about the PureScript Community (in Japanese)

purescript-community-presentation

hn-markov-headlines

Create new headlines for hacker news using markov chains

Throw-away code demonstrating a little about the reader monad

tempreader

online pomodoro timer in elm

tohmato

JavaScript

oi-oi-oi

solutions to coursera courses

coursera

MATLAB

haskell-uuid-test

Test creating uuids in Haskell.

lenstestwhat

udacity-scalable-microservices-with-kubernetes

mystreaming

Unofficial bash repository (since no official repository exists). This repo will not be kept up-to-date.

bash

continuation-monad-test

This is just a test project for playing around with the continuation monad.

haskell-backprop

purescript compiler implemented in purescript

purescript-in-purescript

Some code to play around with testing free monads.

free-monad-test

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

coq-equivalence-not-congruence

Coq

scary

purescript-twitter-types

Simple wrapper around the hailgun package.

hailgun-simple

ddump-splices-test

A solution to wibbly-wobbly-timey-wimey from the Defcon 23 (2015) prequalifiers. Not yet complete.

wwtw-haskell-solver

Various projects using the eb library for accessing epwing dictionaries

ebstuff

recursion-schemes-test

This is just a small test of the haskell recursion-schemes library.

Solution for ropasaurusrex

ropasaurusrex

Shell

twitter-app-only

example-haskell-nix-flake

Sample code from the Monad Reader Issue 24: https://themonadreader.files.wordpress.com/2015/08/issue24.pdf

the-monad-reader-24-sample-code

This is a haskell cgi script that will automatically update a repo when hit with one of github's callbacks.

haskell-github-updater

Automatically mark facts as HighPriority in Anki decks

anki-high-priority

Python

port-purescript-package

Script to easily port a PureScript package to an alternative backend

frp

free-monad-logger

dependent-walrus

reverse-engineering-lt

A lightening-talk about reverse engineering on Linux

CSS

purescript-words-lines

words, unwords, lines, and unlines functions for PureScript

Checks which commits have been cherry-picked between branches.

saabanto

Rust

haskell-git-too-many-cherry-picks

Utility for taking a screenshot and copying it to the clipboard

screenshot-to-clipboard

codejam

google-code-jam-twenty-seventeen

Indexed XML cursors similar to Text.XML.Cursor from xml-conduit

xml-indexed-cursor

math-stuff

A small repository for playing around with recursion-schemes.

recursion-schemes-two

Files for a reversing challenge from codeiq

codeiq-cyberdefence-reversing-challenge

Creates a test for the solution to the problem from here (Simulate a 7-sided die using only a 5-sided die): http://www.careercup.com/question?id=3043

haskell-random-dice-test

Small repo to reproduce sqlite error

haskell-sqlitetest-error

web scraper for brazilian website

brazile-web-scraper

Example showing how to build a statically-linked Haskell executable with Nix and attach it to a GitHub Release

100

example-static-haskell-nix