Colin Woodbury's repositories

mapalgebra

Efficient, polymorphic Map Algebra in Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:36Issues:5Issues:3

vectortiles

A native Haskell codec for Mapbox Vector Tiles.

Language:HaskellLicense:BSD-3-ClauseStargazers:20Issues:7Issues:7

crypto-classical

A Haskell library for using and attacking Classical Encryption Schemes.

Language:HaskellLicense:BSD-3-ClauseStargazers:7Issues:3Issues:0

playground

Testing various things in various languages. Meant as a reference.

Language:CStargazers:7Issues:0Issues:0

pipes-random

Producers for handling randomness.

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

bounded-queue

A strict, immutable, thread-safe, single-ended, bounded queue.

Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:0Issues:0

pong-ggez

A simple Pong game written with ggez.

Language:RustStargazers:1Issues:2Issues:0

tgrep

A tool to locate and store entries in Reddit's large `.log` files.

Language:PythonStargazers:1Issues:0Issues:0

wasm-game-of-life

An implementation of the Game of Life using Rust's WASM support.

Language:RustStargazers:1Issues:1Issues:0

aeson

A fast Haskell JSON library

License:NOASSERTIONStargazers:0Issues:0Issues:0

amethyst

Data-oriented and data-driven game engine written in Rust

License:NOASSERTIONStargazers:0Issues:0Issues:0

beam

A type-safe, non-TH Haskell SQL library and ORM

Stargazers:0Issues:0Issues:0

book

Documentation on how to use the Rust Programming Language to develop commandline applications

Language:RustLicense:MITStargazers:0Issues:1Issues:0

chainweb-node

Chainweb: A Proof-of-Work Parallel-Chain Architecture for Massive Throughput

License:BSD-3-ClauseStargazers:0Issues:0Issues:0
Language:CLicense:MITStargazers:0Issues:0Issues:0

fake

Generate realistic looking fake data

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

fish-shell

The user-friendly command line shell.

License:NOASSERTIONStargazers:0Issues:0Issues:0

ghcid

Very low feature GHCi based IDE

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

hledger

easy-to-use command-line/curses/web plaintext accounting tool; a modern and largely compatible Haskell rewrite of Ledger

License:GPL-3.0Stargazers:0Issues:0Issues:0

language-bash

Parse and pretty-print Bash shell scripts

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

rio

A standard library for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

License:NOASSERTIONStargazers:0Issues:0Issues:0

servant-swagger

Swagger for Servant

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

sqlite-simple

Mid-level bindings for sqlite

License:NOASSERTIONStargazers:0Issues:0Issues:0

stackage

"Stable Hackage," tools for creating a vetted set of packages from Hackage.

Language:DockerfileLicense:MITStargazers:0Issues:3Issues:0

stylish-haskell

Haskell code prettifier

License:NOASSERTIONStargazers:0Issues:0Issues:0

sudoku

A Sudoku solver.

Language:PythonStargazers:0Issues:0Issues:0

throttled

Concurrent processing of a Foldable, throttled by CPU count.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

touka

画像の背景を透過するコマンドラインツール

License:MITStargazers:0Issues:0Issues:0

wacom

Auto-configure my Wacom tablet, if it's plugged in.

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0