Pinned Repositories
clatrix
A stupid name for a smart matrix library, because who doesn't love smart matrices?
js-algebraic
A set of specifications or signatures on algebraic modules and an implementation of a standard library built to match.
oak
An Elm Architecture component library for ClojureScript.
ocaml-cats
Signatures of the category theoretic style; a experiment in flattery
old-blog
saltine
Cryptography that's easy to digest (NaCl/libsodium bindings)
scala-tk
General, extensible effect monad for Scala with message-passing semantics
scala-typeclassopedia
Brent Yorgey's Typeclassopedia, translated to Scala
serv
Kind-safe framework for type-safe APIs
zeta
An Erlang client for Riemann.
tel's Repositories
tel/serv
Kind-safe framework for type-safe APIs
tel/saltine
Cryptography that's easy to digest (NaCl/libsodium bindings)
tel/scala-tk
General, extensible effect monad for Scala with message-passing semantics
tel/scala-typeclassopedia
Brent Yorgey's Typeclassopedia, translated to Scala
tel/ShapeOfShapeless
Repo for use alongside my Shape of Shapeless talk at LambdaConf 2018
tel/oauthenticated
Authentication-ho! OAuth 1.0 for Haskell atop http-conduit.
tel/hexpat-lens
Lenses for Hexpat
tel/values-computation
Associated code for "The tension between value and computation"
tel/aoc2020
Advent of Code 2020!
tel/challenges
tel/circe
Yet another JSON library for Scala
tel/cxx_bzlmod_repro
tel/doom-emacs
An Emacs framework for the stubborn martian hacker
tel/elegant-emacs
A very minimal but elegant emacs (I think)
tel/elixir-tempo
Tempo is a component-based HTML templating library for Elixir
tel/fantomas
FSharp source code formatter
tel/jspha.com
tel/LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim.
tel/mask
🎭 A CLI task runner defined by a simple markdown file
tel/nix-darwin
nix modules for darwin
tel/observable_framework
A static site generator for data apps, dashboards, reports, and more. Observable Framework combines JavaScript on the front-end for interactive graphics with any language on the back-end for data analysis.
tel/pycharm-settings
tel/reindeer_cxx_repro
tel/rust-blog
Educational blog posts for Rust beginners
tel/sandpainting
tel/sequences
tel/shipwright
This repository is the repository where we create Docker images for various projects around unison land.
tel/stacked-jupyterlab
tel/svelte
Cybernetically enhanced web apps
tel/wc-web