Pinned Repositories
columnate
Small unix utility to columnate data sets without stripping color codes
deferred-substitution
An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
free-transformers
Experimenting with "free transformers" in Haskell
jdbca
An asynchronous Clojure interface to JDBC
lein-fpm
A Leiningen plugin for building simple packages using fpm
lower
Lowering a surface syntax into different intermediate representations
nylas-hs
Haskell client for the Nylas web API
templates
A collection of nix flake templates
test-kafka
An in-process Kafka and ZooKeeper runner for testing in Clojure
sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
bts's Repositories
bts/deferred-substitution
An implementation of Ben Lippmeier's "Don't Substitute Into Abstractions"
bts/columnate
Small unix utility to columnate data sets without stripping color codes
bts/lower
Lowering a surface syntax into different intermediate representations
bts/templates
A collection of nix flake templates
bts/agda-tutorial
bts/aspen
Aspen is a Low-Latency Graph Streaming System built using Compressed Purely-Functional Trees
bts/async-pool
bts/book
V2 of Real World OCaml
bts/constellation
Peer-to-peer encrypted message exchange
bts/easytest
Simple testing toolkit (extracted from Unison)
bts/effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
bts/grace
A ready-to-fork interpreted functional language with type inference
bts/Hsmtlib
Haskell library for easy interaction with SMT-LIB 2 compliant solvers.
bts/httprouter
A high performance HTTP request router that scales well
bts/isl-hs
haskell bindings to the integer set library
bts/ligra
Ligra: A Lightweight Graph Processing Framework for Shared Memory
bts/mist
A tiny language for teaching and experimenting with Refinement Types
bts/nixos-templates
Flake templates
bts/nixpkgs
Nix Packages collection
bts/obsidian-add-arxiv-paper
Obsidian plugin to create a note from arXiv.org
bts/pact
The Pact Smart Contract Language
bts/quorum
A permissioned implementation of Ethereum supporting data privacy
bts/quorum-tools
Tools for running Quorum clusters and integration tests
bts/rate-limit
A basic rate-limiting library for Haskell
bts/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
bts/scbt
Implementation of "Sound and Complete Bidirectional Typechecking..." by Dunfield and Krishnaswami, POPL 2019
bts/SmtLib
Parser for smt-lib Command responses
bts/sound-and-complete
An implementation of the Dunfield-Krishnaswami "Sound and Complete" type-system
bts/sprite-lang
An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.
bts/termonad
Terminal emulator configurable in Haskell.