Discover athanclark/security-plus-notes Open Source project

A well-typed Directed Acyclic Graph in Haskell

dag

Declarative, Compositional Url Handling for WAI

nested-routes

A clone of monad-control in purescript

purescript-monad-control

Debouncification for elm-ness

elm-debouncer

Elm

purescript-websockets-rpc

A simple subscription-esque RPC mechanism using WebSockets, ala the haskell websockets-rpc library (client only)

Extremely simple URL combinator DSL thing

urlpath

predicative lookup container

pred-trie

A simple websocket CLI tool

A simple subscription-esque RPC mechanism using WebSockets

websockets-rpc

purescript-zeta

Signals from outer space

Simple encoding / decoding classes for ArrayBuffers

purescript-arraybuffer-class

A simple threading patch for elm ports

elm-threading

Elm

purescript-subtlecrypto

Basic PureScript-friendly bindings to SubtleCrypto

purescript-unique-array

Unique arrays

purescript-inflection

Bindings to inflection

Tools for working with functions without regard to their arity

poly-arity

A singleton version on TMapChan

tmapmvar

Haskell / Purescript package for isomorphic JSON

purescript-haskell-iso

A queue-esque data type for purescript.

purescript-queue

purescript-bignumber

Bindings to BigNumber.js

A faux heterogeneous set implementation in Haskell, leveraging Typeable

HSet

purescript-zeromq

Bindings to zeromq

A different websocket binding for purescript

purescript-websocket-moderate

Unlift implementation for PureScript

purescript-monad-unlift

A basic IntMap that leverages Foreign.Object

purescript-intmap

Simple parameterization of Wai's Application type

wai-transformers

Various trie data types in Haskell

tries

A trivial implementation of the simplex algorithm.

simplex-basic

purescript-sequelize

Bindings to sequelize

Some stuff for rose trees

rose-trees

Bindings to the jsdom library

purescript-jsdom

A map structure for UTCTime-indexed entities

timemap

follow a file - being notified with what's appended.

follow-file

Representation of digestive-functors for lucid

digestive-functors-lucid

A Haskell implementation of Bland's finite pivoting method, over Rationals

linear-simplex-haskell

Data serialization verification implementation

purescript-symbiote

abides

The class abides, man

Class for Commutative binary operations.

commutative

Typelevel combinators for quickcheck, in purescript

purescript-quickcheck-combinators

Combinators for predicative recursion

almost-fix

Data serialization verification implementation

symbiote

An alternative session middleware for WAI.

wai-session-alt

UTF8 String generator for quickcheck

purescript-quickcheck-utf8

Restricted alternative to Unfoldable

unfoldable-restricted

Generic interface to markup languages

markup

...It's something, let's just call it that.

pseudo-trie

A generic scaffold for a web page, for lucid.

webpage

attoparsec-ip

Parsers for IP addresses

Run an IO action every so often.

every

An alternative implementation of rational numbers in Coq

coq-rational

Coq

sparrow

Data-dependency framework for web applications

Notes on all of the software libraries I've developed

libraries

purescript-qrcode

A binding to the `qrcode` node module

JavaScript

quickcheck-combinators

type-level combinators for quickcheck instances

Simple Data.Map port to Idris

idris-map

Idris

unit-constraint

Extremely simple typeclass

JavaScript with Partial Application

frankenscript

JavaScript

goals

Personal goals document

wai-middleware-content-type

Route to different middlewares based on the incoming Accept header detected.

Equations as data structures

purescript-math-equation

Material-UI bindings for purescript.

purescript-material-ui

JavaScript

quack

A total ripoff as far as parser combinators are concerned

Encoding and Decoding for ZeroMQ's z85 binary format.

purescript-z85

A compositional URI parser / printer for attoparsec

attoparsec-uri

A simple wrapper around the websockets library.

happ-store

An app store for Hackage

HTML

websockets-simple

It's like something that does stuff

elm-every

Elm

purescript-diff

Diff-esque features for purescript (nothing to do with automated differentiation)

An AST for linear equations and inclusive inequalities.

purescript-byte-codec

athanclark.github.io

linear-grammar