thsutton/gversion-plugin Fork of lessthanoptimal/gversion-plugin

Gradle plugin for autogenerating version info from gradle and git

Language: Groovy - Size: 210 KB - Last synced: 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

thsutton/dotfiles

My dot files

Language: Lua - Size: 2.38 MB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 2 - Forks: 0

thsutton/aeson-diff

Generate and apply diffs between JSON documents.

Language: Haskell - Size: 121 KB - Last synced: 10 months ago - Pushed: over 1 year ago - Stars: 37 - Forks: 19

thsutton/platypus

Code written for the PLATYPUS type theory study group.

Language: Idris - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

thsutton/edit-distance-vector

Calculate edit scripts and distances between Vectors.

Language: Haskell - Size: 51.8 KB - Last synced: 18 days ago - Pushed: over 5 years ago - Stars: 9 - Forks: 1

thsutton/openbsd-src Fork of openbsd/src

Public git conversion mirror of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

Size: 1.26 GB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

thsutton/nvim-config

Configuration for neovim

Language: Lua - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

thsutton/freebsd-dotfiles

Dotfiles for a new FreeBSD install on a laptop.

Language: Lua - Size: 533 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

thsutton/arborism

Some tree algorithms.

Language: Haskell - Size: 158 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 2 - Forks: 0

thsutton/testing-hypothesis-testing

A test of using Hypothesis on GitHub Actions.

Size: 1.95 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

thsutton/rho Fork of http4s/rho

A self documenting DSL built on http4s

Size: 8.68 MB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 0 - Forks: 0

thsutton/leonine

Roaring Bitmaps in Haskell.

Language: Haskell - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 6 - Forks: 1

thsutton/fca

Formal concept analysis

Language: Haskell - Size: 605 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 4 - Forks: 1

thsutton/dungeon-helper Fork of jameshales/dungeon-helper

🎲 A Discord bot for performing Dungeons and Dragons 5th Edition dice rolls.

Size: 342 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

thsutton/demo-site

Language: CSS - Size: 64.5 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

thsutton/cha

A port of miniprl to Haskell with co-/inductive types bolted on the side.

Language: Haskell - Size: 54.7 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 22 - Forks: 2

thsutton/rawr

Roaring bitmaps in Haskell

Language: Haskell - Size: 59.6 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 13 - Forks: 0

thsutton/hcsv

A cut(1) workalike that knows CSV.

Language: Haskell - Size: 102 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 0 - Forks: 0

thsutton/wtf

WTF is a command line program to lookup acronyms from a dictionary.

Language: C - Size: 121 KB - Last synced: about 1 year ago - Pushed: almost 13 years ago - Stars: 0 - Forks: 0

thsutton/tda

Topological data analysis

Language: Haskell - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

thsutton/simplex

Stupidest simplex implementation in the world. Don't even bother.

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

thsutton/mf

Maximal flow

Language: Haskell - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 0 - Forks: 0

thsutton/talk-dynamic-programming

Talk: Dynamic Programming in Haskell

Language: Haskell - Size: 3.62 MB - Last synced: about 1 year ago - Pushed: almost 9 years ago - Stars: 0 - Forks: 0