Pinned Repositories
aiyou
IO types and classes for Scala.
bayhac17
Slides for my BayHac 2017 talk "All About Applicative"
circular
Invertible syntax for Scala.
faq
Random collection of my ramblings.
gazette
Toy project serving to illustrate that it's possible to write pure functional systems in Scala.
programming-in-idris
Following Idris tutorial, also playing around.
rebind
Rebind is a Scala port/remake of the Haskell retry library.
sabre
In-memory distributed graph processing of trivially parallelizable graph algorithms.
scala-sandbox
Random Scala thought experiments and miscellany.
tfm
tagless final macro
adelbertc's Repositories
adelbertc/dotfiles
The beginning of my dotfiles/folders collection.
adelbertc/adelbertc.github.io
adelbertc/.emacs.d
My Emacs configuration
adelbertc/anpu-zola-theme
The Anpu theme for the Zola static site generator
adelbertc/avro
Haskell Avro Encoding and Decoding Native Support (no RPC)
adelbertc/awesome-tensor-compilers
A list of awesome compiler projects and papers for tensor computation and deep learning.
adelbertc/burner-email-providers
A list of temporary email providers
adelbertc/hnix
A Haskell re-implementation of the Nix expression language
adelbertc/hw-kafka-avro
SchemaRegistry bindings with Avro scheme to use with kafka-client
adelbertc/incubator-tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
adelbertc/kubectl-trace
Schedule bpftrace programs on your kubernetes cluster using the kubectl
adelbertc/kubernetes-configuration
adelbertc/ml
adelbertc/nelson
Automated, multi-region container deployment
adelbertc/nelson-cli
Command Line Utility for the Nelson platform
adelbertc/nix
Nix, the purely functional package manager
adelbertc/nix-adt
A library for using algebraic data types in the Nix expression language.
adelbertc/nixpkgs
Nix Packages collection
adelbertc/octoml-profile
Home for OctoML PyTorch Profiler
adelbertc/python-chess-engine-extensions
Search and evaluation extensions for python-chess
adelbertc/rust-sandbox
Random Rust thought experiments and miscellany.
adelbertc/scala.g8
Basic project template that I find myself using often
adelbertc/ScalaTaiwan
Scala Taiwan meetup slides
adelbertc/scalate-test
adelbertc/slipway
Binary utility for creating Github releases from any language
adelbertc/spark
Apache Spark enhanced with native Kubernetes scheduler back-end
adelbertc/tracing-element
adelbertc/typelevel.github.com
Web site of typelevel.scala
adelbertc/vida
Stockfish NNUE (Chess evaluation) trainer in Pytorch
adelbertc/website
The code for the ScalaBridge website