Giters
Austin Seipp (thoughtpolice)

thoughtpolice

Geek Repo

411

followers

7

following

112

stars

Company:@groq

Location:Austin, TX

Home Page:https://austinseipp.com

Twitter:@stdlib

Github PK Tool:Github PK Tool

Organizations
haskell
NixOS

Austin Seipp's repositories

heroku-ping

A utility to ping heroku web applications and keep them alive.

Language:RubyLicense:MITStargazers:82Issues:7Issues:2

vacuum

DEPRECATED: Use ghc-heap, ghc-heap-view in GHC 8.x instead.

Language:HaskellLicense:LGPL-3.0Stargazers:19Issues:0Issues:0

hs-nacl

Modern Haskell Cryptography

Language:CLicense:BSD-3-ClauseStargazers:18Issues:6Issues:12

claap

"An Altruistic Processor", implemented in CLaSH (WARNING: incomplete code)

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

afl

american fuzzy lop (copy of the source code for easy access)

Language:CStargazers:7Issues:4Issues:0

coq-skeleton

A simple skeleton for Coq projects

Language:CoqStargazers:7Issues:4Issues:0

hs-noise

Usable security for the internet, Deux (in Haskell)

Language:HaskellLicense:MITStargazers:5Issues:5Issues:1

haskell-donate

:clap: give :clap: us :clap: money

Language:HaskellLicense:MITStargazers:4Issues:4Issues:1

heroku-stripe-donate

Simple Ruby server for Stripe Donations, designed for Heroku.

Language:RubyLicense:MITStargazers:4Issues:3Issues:0

libphutil-yubikey

Yubikey OTP authentication for Phabricator

Language:PHPLicense:Apache-2.0Stargazers:4Issues:3Issues:1

dockerfiles

My personal collection of Dockerfiles

Language:ShellLicense:Apache-2.0Stargazers:2Issues:0Issues:0

hs-curve25519

Minimal curve25519 Haskell package.

Language:CLicense:MITStargazers:2Issues:0Issues:0

hs-poly1305

Minimal poly1305 Haskell package.

Language:HaskellLicense:MITStargazers:2Issues:5Issues:0

ghc-prim-compat

Compatibility shim for GHC primops

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

hs-hmac-sha512256

Minimal HMAC-SHA-512-56 Haskell package.

Language:CLicense:MITStargazers:1Issues:0Issues:0

hs-siphash2448

Minimal siphash24-MAC/siphash28-MAC Haskell package.

Language:HaskellLicense:MITStargazers:1Issues:0Issues:0

binary-serialise-cbor

Binary serialisation in the CBOR format

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

cabal

Official upstream development repository for Cabal and cabal-install

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

cryptol

Cryptol: The Language of Cryptography

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

ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations

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

helium-api-examples

Sample apps and services for the Helium API

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

hs-blake

Minimal BLAKE Haskell package.

Language:CLicense:MITStargazers:0Issues:3Issues:0

icestorm

Project IceStorm - Lattice iCE40 FPGAs Bitstream Documentaion (Reverse Engineered)

Language:PythonStargazers:0Issues:3Issues:0

libphutil-backblaze

Backblaze B2 storage backend for Phabricator.

Language:PHPLicense:Apache-2.0Stargazers:0Issues:3Issues:0

liquidhaskell

Liquid Types For Haskell

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

pfsense

Main repository for pfSense

Language:PHPLicense:Apache-2.0Stargazers:0Issues:3Issues:0

saw-script

The SAW scripting language.

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

stripe

:moneybag: Stripe API for Haskell

Language:HaskellStargazers:0Issues:3Issues:0

usb-armory

USB Armory scripts and other nonsense.

Language:ShellLicense:MITStargazers:0Issues:4Issues:0

yosys-web

Yosys Web Page

Language:HTMLStargazers:0Issues:3Issues:0