Discover ChrisPenner/focus Open Source project

Static site generator built on Shake configured in Haskell

612

slick

Well-Typed Typing Tutor where you Type Types... in space... yup, you heard me

204

void-space

Beating unix `wc` in Haskell

140

Text lenses using PCRE regexes

136

lens-regex-pcre

Yet another static site generator - non-opinionated, value-level. Less magic == easier to understand

126

SitePipe

An extensible event-driven application framework in haskell

119

eve

Comonads By Example Conference talk

109

comonads-by-example

Simple Haskell http framework

Firefly

In goes JSON, out comes a complete Haskell model complete with instances! CLI and web interface available.

json-to-haskell

A smart A* search monad transformer which supports backtracking user-state!

astar-monad

A structural editor for JSON values

jet

Examples of "Advent Of Code" solutions in many programming languages.

Advent-Of-Code-Polyglot

Forward-propagating Constraint Solver monad. Good for solving Sudoku, N-Queens, etc.

mad-props

Lensy interface for parsing CSV's

lens-csv

A terminal-ui log watcher written in Go using the Flux architecture

LumberJack

conway

Conway's game of life in 100 lines or less!

Templating engine based on shell interpolation

tempered

Helpers which allow safe partial pattern matching in lambdas

unipatterns

Shell plugin for managing tmux sessions

session-sauce

A template for quickly building sites with slick

slick-template

CSS

grids

Arbitrary dimension type-safe grids

copy-pasta

Extensible HTTP Web server configured entirely by a yaml file

dumbwaiter

Dead simple setup tools for running a Haskell build matrix using stack for several versions.

haskell-stack-travis-ci

Lens interface for your filesystem

lens-filesystem

Haskell Package for operating with selections over an underlying functor

selections

HTML overlay for quickly navigating your computer

btt-quicknav

Handling errors which occur deep inside lens-chains

lens-errors

Haskell Profunctor Optics experiments

proton

Type-safe tic-tac-toe using Typesafe programming in Haskell

Type-Tac-Toe

Wave function collapse procedural generation for arbitrary graphs

wave-function-collapse

There are many category theory implementations, but this one is mine

catalyst

An implementation of the Update Monad and a 'Free' version from https://danelahman.github.io/papers/types13postproc.pdf

update-monad

A toy Parser+Compiler+Typechecker

Candor

recursive-zipper

Zippers for cofree types

A record of examples and anecdotes as I ascend the ladder of Functional Programming

climbing-fp-ladder

charter

Haskell charting library

trek

A series of daily tasks/info to learn vim from beginner to expert one day at a time.

vimprove

react-tui

Dead-simple command line arguments for python scripts.

dont-argue

Advent of Code Solutions in Haskell

advent-of-code-haskell

A very simple blog framework that emphasizes managing posts in a plain-text directory structure. Runs on Google App Engine, but can also be exported as a static site.

BoxKite

A monoid which counts changing values in a sequence

flux-monoid

A Fuse-compatible Functional File System with @isovector

ffs

Just some lens combinator experiments :)

lens-friends

jaunt

a jq clone in purescript

PureScript

json-to-haskell-web

A brick widget for exploring your filetree

brick-filetree

Sends Desktop notifications to remind you to commit.

vim-committed

Vim Script

CMPT481

Human Computer Interaction Project

Walkthrough of building a simple webapp using different rxjs patterns

rxjs-tutorial

TypeScript

jsonf

An educational JSON functor library for teaching recursion-schemes

Template for Haskell libraries

haskell-library-template

rust-advent-of-code

Rust

recursion-schemes-by-example

Experimental Cost-Annotated Self-Yielding Coroutines

monad-suspend

Weird and whimsical video game genres everyday!

game-genre-per-day

TypeScript

reactive-streams

Reactive stream combinators in Haskell! Implementations of Rx primitives based on the 'machines' library

An experimental http server written entirely with profunctors

professor

A small circuit-building game built in Haskell

Wirehack

Generate Haskell datatypes from json objects

ChrisPenner.github.io

Basic Website

HTML

json-to-haskell-purescript

Dhall

free-cached

Cache previous runs of free monads

File substitution tools I need for my book

substrate

Proofs of types as a semiring via Curry-Howard Isomorphism

cards-against-corona

Elm

chip8

Rust

type-arithmetic

A wrapper around Node.ReadLine for use with the Aff Monad.

purescript-node-readline-aff

PureScript

Flow

An experimental Haskell FRP (streams) library

JLang combinators in Haskell

j-lang-haskell

A redux-style application framework

purescript-flow

PureScript

catalyst-build

Experimental build system based on composition of categories & arrows

Propagator based reactive extensions library

rx-prop

Structural regex based command pipelines

rsi

Foray into propagator networks in Haskell

propellant

Comparison of basic concurrency primitives and tasks in Haskell and Golang

concurrency-comparison

Build rules for compiling mustache templates using shake

mustache-shake

A basic texting scavenger hunt using Twilio

scavenger

mailing-list-reader

Working through the Kaleidoscope llvm compiler project

Kaleidoscope

delve

Terminal UI File Browser

An exploration into free contravariant functors

free-contravariant

Uber basic scheme interpreter

schemer

Composable Component Framework

continuity

Terminal event handlers and rendering for `eve` programs

eve-cli

Overly complex attempt at typesafe spreadsheets

sheets

Learn about Functional Algebraic Types without making your head explode.

Simpleton-Algebraics

flags

Compiles a declarative bash script configuration into a 100% bash flags and argument parser.

Library for combined free & cofree trees into a single type.

dual-free

Just an experiment, move along :)

cofree-zippers

Tools for interacting with images using grids

grids-images

Logs dashboard for all your local servers.

overlord

Single page application template for google app engine using react-redux

SPA-GAE-template

Shakespeare Filler Text Generator

SpareSpeare

cmpt317

Companion to a blog post on testing patterns in Haskell

test-specialization

Experiment to reify symbols/nats into constraints by matching them within a known set.

reified-dicts