https://github.com/bts/deferred-substitution

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

Last synced: 13 Jul 2025

https://github.com/bts/lein-fpm

A Leiningen plugin for building simple packages using fpm

clojure fpm leiningen package

Last synced: 27 Oct 2025

https://github.com/bts/free-transformers

Experimenting with "free transformers" in Haskell

effects free free-monad haskell interpreter modularity onion-architecture

Last synced: 13 Feb 2026

https://github.com/bts/columnate

Small unix utility to columnate data sets without stripping color codes

Last synced: 18 Sep 2025

https://github.com/bts/test-kafka

An in-process Kafka and ZooKeeper runner for testing in Clojure

clojure kafka test zookeeper

Last synced: 14 Jun 2025

https://github.com/bts/jdbca

An asynchronous Clojure interface to JDBC

Last synced: 25 Jun 2025

https://github.com/bts/test_kafka

Ruby Kafka runner suitable for integration testing

Last synced: 27 Oct 2025

https://github.com/bts/nylas-hs

Haskell client for the Nylas web API

client haskell http nylas pipes

Last synced: 25 Nov 2025

https://github.com/bts/lower

Lowering a surface syntax into different intermediate representations

Last synced: 16 May 2026

https://github.com/bts/templates

A collection of nix flake templates

Last synced: 11 May 2026

https://github.com/bts/type-theory-and-its-meaning-explanations

an introduction to type theory based on meaning explanations (as opposed to proof theoretic type theories)

Last synced: 26 Feb 2026

https://github.com/bts/jonsterling.github.com

My web site

Last synced: 05 Mar 2026

https://github.com/bts/etcd-1

Last synced: 15 May 2026

https://github.com/bts/mtsbs

Working through "Monad Transformers Step by Step"

Last synced: 07 Sep 2025

https://github.com/bts/nicta-course

NICTA haskell course solutions

Last synced: 18 Oct 2025

https://github.com/bts/bts.github.com

Last synced: 05 Mar 2026

https://github.com/bts/agda-tutorial

Last synced: 05 Mar 2026