The Wayback Machine - https://web.archive.org/web/20220531134201/https://github.com/bts
Skip to content
Avatar
74 followers · 16 following

Achievements

Arctic Code Vault Contributor

Achievements

Arctic Code Vault Contributor

Organizations

@diagonalcat @recursecenter @monic-co
Block or Report

Block or report bts

Report abuse

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

Report abuse

Pinned

  1. LeventErkok/sbv Public

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

    Haskell 170 25

  2. deferred-substitution Public

    An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"

    Haskell 6

  3. nylas-hs Public

    Haskell client for the Nylas web API

    Haskell 1

  4. ConsenSys/quorum-tools Public archive

    Tools for running Quorum clusters and integration tests

    Haskell 49 33

  5. columnate Public

    Haskell 3 1

12 contributions in the last year

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Mon Wed Fri
Learn how we count contributions
Less More
NEW! View your contributions in 3D, VR and IRL!
Activity overview
Contributed to Gabriella439/grace, github/stack-graphs, bts/httprouter and 8 other repositories

Contribution activity

May 2022

bts has no activity yet for this period.