Skip to content
View jtobin's full-sized avatar

Block or report jtobin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
jtobin/README.md

Hey. I write a lot of stuff, mostly in Haskell. Some things you might be interested in:

  • ppad-tech contains a bunch of foundational cryptography and adjacent libraries.
    • πŸ“ secp256k1 implements Schnorr/ECDSA on secp256k1. csecp256k1 binds to libsecp256k1.
    • πŸ”— bech32 supports bech32m/bech32; base58 supports base58 & base58check.
    • πŸ” sha256 and sha512 implement their respective hash functions & HMACs, and ripemd160 supports RIPEMD-160.
    • πŸ”‘ hmac-drbg implements the HMAC-DRBG CSPRNG, and hkdf is a simple HMAC-based KDF.

I'm a lapsed statistician, so have a lot of random (ha ha, get it?) statistical libraries kicking around:

  • πŸ“œ declarative is a suite of MCMC algorithms that can be combined together via a monadic DSL. There's:
  • 🌐 flat-mcmc is a so-called affine invariant ensemble sampler.
  • 🎲 mwc-probability is a sampling-based probability monad.
  • 🧩 sampling provides basic functionality for sampling from arbitrary Foldable collections.
  • πŸ“ measurable is an illustrative DSL for working with probability measures.

There's also some miscellanea that might be of interest:

  • πŸ”“ cryptopals contains solutions to the famous cryptopals challenges.
  • πŸ“š okasaki implements stuff from Okasaki's Purely Functional Data Structures, often via recursion schemes and CPS.
  • ⬆️ up is a priority search queue (+up) and LRU cache (+lu) library for Hoon, plus a full suite of u3 jets in C.
  • πŸ”’ hnock is a basic Nock interpreter for Haskell.

You can find a more comprehensive list at jtobin.io/software.

Popular repositories Loading

  1. measurable measurable Public

    An embedded DSL for creating, composing, and using probability measures.

    Haskell 39 4

  2. deanie deanie Public

    An embedded probabilistic programming language.

    Haskell 34 7

  3. declarative declarative Public

    DIY Markov Chains.

    Haskell 24 3

  4. flat-mcmc flat-mcmc Public

    Painless general-purpose sampling.

    Haskell 23 1

  5. mighty-metropolis mighty-metropolis Public

    The classic Metropolis sampling algorithm.

    Haskell 10 3

  6. hnock hnock Public

    A Nock interpreter.

    Haskell 10