Discover parsonsmatt/logic Open Source project

A neovim plugin for Intero, forked from ghcmod-vim

293

intero-neovim

Vim Script

218

parsonsmatt.github.io

My Github pages website

SCSS

purs-architecture-tutorial

A port of the Elm Architecture Tutorial to PureScript

A convenient DSL for describing web routes

rowdy

A collection of introductory tutorials on Haskell libraries

hasktuts

QuickLift

Web application to quickly and easily log your weightlifting sessions

Leave delicious breadcrumbs to make your errors easier to understand.

garlic-bread

A quick, easy, and declarative task runner for Haskell code to destroy your boiler plate!

kale

monad-metrics

haskell metrics

Machinery for throwing and catching exceptions with some annotation.

annotated-exception

A type and helpers for typesafe SQL access in the presence of many databases.

persistent-typed-db

type classes and deriving via for encoding

encoding-via

A tool for OpenTelemetry tracing on the command line

hotel-california

An example of purescript-routing and purescript-halogen

purescript-routing-example

Plucky errors and exceptions

plucky

Require that callers propagate `HasCallStack` constraints

require-callstack

First Class Record Fields in Haskell

prairie

Efficient and correct pagination!

persistent-pagination

QuickLift frontend in PureScript

ql-purs

A compatibility library for `hedgehog` and `fakedata`

hedgehog-fakedata

prio

Plucky Runtime IO

Informative error messages for common beginner misunderstandings with Haskell

beginner-error-messages

DSL for attaching documentation to persistent entities

persistent-documentation

An implementation of Smalltalk 80 in Rust

smoltok

Rust

ghc-compile-stats

stupid lil program to parse GHC/cabal output and tell you how long stuff takes

Alter datatypes at your leisure!

record-wrangler

Repository for my independent study at UGA

modalities

TeX

gear-tracker

An application that helps cyclists track their gear

Easily add a prefix to your MonadLogger output.

monad-logger-prefix

HTML

data-diff

An approach to diffing values and records.

ghc-cache-buster

A workflow management tool written in Haskell and PureScript

pureflowy

A gem for class composition in Ruby

beethoven

Ruby

unification

implementation of the first order logic unification algorithm in Haskell

purescript-trees

Rose trees

Repository to go along with a blog post

scotty-persistent-example

are you worried about space? ME TOO! SPACE IS VERY CONCERNING

packedbits

Lift a type into a Template Hasell Type.

lift-type

callstacks in ghc are weird

callstacks-what-even

A type `ExceptIOT` which uses `IO` for the `MonadError` instance, allowing a `MonadUnliftIO` instance

exceptiot

Derive hierarchical exception instances for your datatypes

exception-via

An adventure in debugging the performance of a Haskell data structure

performance-debugging

When you want to give the State more responsibility and power

big-government

command-pattern

An extensible record library based on HashMaps.

hash-rekt

record-impl

Replace your old API with a Servant one!

incremental-servant

A library for defining lazy recipes with components that are only run once

oncet

callstack-examples

A utility for package metaprogramming imports

glob-imports

Haskell bindings to the liboath library.

liboath-hs

Haskell API in Haskell website

yo-dawg

Generate `since` annotations for a package.

sincify

Makefile

persistent-discover

Discover your Persistent Models with Ease

An example on splitting up a persistent models file (see PRs)

split-persistent

Scrap your Persistent quasiquoter!

mesa-verde

A type class for forking threads

abstract-fork

Derive fearlessly in the face of roles

coerce-role

a template repository for my haskell projects

HASKELL_TEMPLATE

Makefile

rails-box

Barebones box for Rails development.

Shell

discover-instances

A TemplateHaskell helper that discovers type class instances for you

An implementation of the DPLL algorithm in Haskell, using an 'exploratory coding' methodology.

dpll

Homework for the Haskell course: http://www.seas.upenn.edu/~cis194/spring13/lectures.html

cis194

wyas

Write Yourself a Scheme!

Demo phonegap application for WifiWIzard

WifiWizardDemo

Java

some-dict-of

A Haskell library for packaging and using constraints, existentially.

A talk on exceptions and errors in Haskell.

exceptional-haskell

websockets-example

A test app of websockets

Convenient undo/redo functionality for your Pux application

purescript-pux-undo

A web application for recording metrics and doing aggregations

metricord

Compatibility operators and exports to make importing Esqueleto and Persistent easier

esqueleto-compat

This repo gives a reproduction for defer diagnostics on GHC 9.4.2

defer-diagnostics-reproduction

Makefile

currb

Presentation on currying and function composition in Ruby

maybe this is a programming language?

gamma

A package for abstract effects in Haskell

abstract-effects

servant-ruby

Generate Ruby clients from your Servant API!

a silly little Haskell app to print out some cards for D&D spells

spellcards

Forked from `yesod-test` to support idiomatic `hspec` testing

hspec-yesod

Playing with Cloud Haskell

distributed

If single writes are slowing you down, who you gonna call? WRITE BUFFER!

write-buffer

Design Patterns from Abstract Math

design-patterns-math

A parser for Haskell implemented in Rust.

haskell-parser

Rust

multicast

Toy implementation of a multicast chat server

reproduction for a GHC bug #20563

disc-inst-bug

Haskell weightlifting utility

hlift

reproduction of issue purescript-pux#14

pux-repro

require-callstack-talk

yet another weightlifitng app

slowlift

kinda magical query objects

squirrell

Ruby

purescript-zippers

Zippers for PureScript

playing with nesting RESTful routes in Haskell

routerhs

implementation of Game of Life in Haskell

gol

Working through the Appel book in Haskell

tiger

fork of cardano-wallet from when i worked at iohk

cardano-wallet

OkFilter is a Ruby script that helps to make your OkCupid experience better by filtering out poor matches.

OkFilter

Ruby

bike-geo

i need help fitting my bike lmao

stack-ghci-repro

stack ghci repro

A brief example on two ways of doing a serializable job queue

job-queue-example

100

setfield-design-thoughts