Discover @cdepillabout Open Source projects

Dennis Gosnell (@cdepillabout)

cdepillabout

Stars
1,165
Global Rank 25,543 (Top 0.9 %)
Followers 246
Following 20
Registered about 15 years ago
Most used languages

Haskell
64.9 %

PureScript 8.2 %

Nix
7.2 %

Shell
4.1 %

Rust
3.1 %

C
2.1 %

Coq 2.1 %

Python
2.1 %

JavaScript
2.1 %

CSS
1.0 %

HTML
1.0 %

Java
1.0 %

MATLAB
1.0 %
Location 🇯🇵 Japan
Country Total Rank 634
Country Ranking

Nix
4

Haskell
5

PureScript 7

Coq 26

Rust
153

MATLAB
272

Shell
467

Java
1,477

JavaScript
1,966

C
2,022

CSS
2,028

HTML
2,181

Python
4,469

termonad

Terminal emulator configurable in Haskell.

pretty-simple

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

servant-checked-exceptions

type-level errors for Servant APIs.

nix-query-tree-viewer

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

password

datatypes and functions for easily working with passwords in Haskell

stacklock2nix

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

world-peace

open union and open product types in Haskell

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

5 ways to test code that accesses a DB in Haskell

post-about-nix-and-haskell

cabal2nixWithoutIFD

purescript2nix

Tool for easily building PureScript projects with Nix

purescript-email-validate

Validating an email address string against RFC 5322

servant-rawm

Effectful Raw handler for Servant servers.

haskell-type-families-presentation

This is a presentation about haskell's type families.

nix-reverse-deps-of-haskell-package

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

servant-static-th

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

break-time

break timer that forces you to take a break

nix-haskell-updates-status

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

servant-on-heroku

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

print-console-colors

Print all the ANSI console colors for your terminal

purescript-boxes

yahoo-finance-api

Haskell wrapper for Yahoo Finance API

purescript-road-to-react

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

nix-cabal-example-project

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

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

docs

xml-html-qq

QuasiQuoter for XML and HTML Documents

emailaddress

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

heterocephalus-example

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

highlight

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

geneticmidi

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

purenix-examples

Examples of common Nix things written in PureNix

open-blog-posts

from-sum

Canonical fromMaybeM and fromEitherM functions.

envelope

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

servant-example

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

advent-of-code

My solutions to various Advent of Code problems

purescript-typesafe-localstorage

read-env-var

Haskell library for safely reading environment variables

icfp-tutorial-extensible-effects

coq-playground

software-foundations

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

advent-of-code2018

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

focuslist

A Haskell data structure for lists with a focus

icfp-tutorial-generics

dict-scrape

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

large-file-parser-ng

Parsing a large file with constant heap usage

ssh

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

ctf

Notes about problems I could not solve from CTFs.

large-file-parser

singletons-doggy-test

Test code using Haskell's singletons library.

hn-markov-headlines

Create new headlines for hacker news using markov chains

haskell-meetup-2016-10-23

accelerate-singleton-test

purescript-community-presentation

lightning talk about the PureScript Community (in Japanese)

tempreader

Throw-away code demonstrating a little about the reader monad

tohmato

online pomodoro timer in elm

oi-oi-oi

haskell-github-updater

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

coursera

solutions to coursera courses

bash

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

haskell-uuid-test

Test creating uuids in Haskell.

lenstestwhat

udacity-scalable-microservices-with-kubernetes

coq-equivalence-not-congruence

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

mystreaming

continuation-monad-test

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

haskell-backprop

purescript-in-purescript

purescript compiler implemented in purescript

free-monad-test

Some code to play around with testing free monads.

scary

purescript-twitter-types

hailgun-simple

Simple wrapper around the hailgun package.

ddump-splices-test

wwtw-haskell-solver

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

ebstuff

Various projects using the eb library for accessing epwing dictionaries

recursion-schemes-test

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

ropasaurusrex

Solution for ropasaurusrex

twitter-app-only

example-haskell-nix-flake

the-monad-reader-24-sample-code

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

anki-high-priority

Automatically mark facts as HighPriority in Anki decks

dependent-walrus

port-purescript-package

Script to easily port a PureScript package to an alternative backend

frp

free-monad-logger

reverse-engineering-lt

A lightening-talk about reverse engineering on Linux

purescript-words-lines

words, unwords, lines, and unlines functions for PureScript

haskell-git-too-many-cherry-picks

Checks which commits have been cherry-picked between branches.

saabanto

screenshot-to-clipboard

Utility for taking a screenshot and copying it to the clipboard

codejam

google-code-jam-twenty-seventeen

xml-indexed-cursor

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

math-stuff

recursion-schemes-two

A small repository for playing around with recursion-schemes.

codeiq-cyberdefence-reversing-challenge

Files for a reversing challenge from codeiq

haskell-random-dice-test

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-sqlitetest-error

Small repo to reproduce sqlite error

brazile-web-scraper

web scraper for brazilian website