adelbertc Goto Github PK

.emacs.d

My Emacs configuration

adelbertc.github.io

aiyou

IO types and classes for Scala.

alga

Algebraic graphs

algebra

Experimental project to lay out basic algebra type classes

anpu-zola-theme

The Anpu theme for the Zola static site generator

argonaut

Purely functional JSON parser and library in scala.

atto

friendly little parsers

avro

Haskell Avro Encoding and Decoding Native Support (no RPC)

awesome-tensor-compilers

A list of awesome compiler projects and papers for tensor computation and deep learning.

bayhac17

Slides for my BayHac 2017 talk "All About Applicative"

big-electric-cat

Demonstrate using Cats with Spark

burner-email-providers

A list of temporary email providers

cats

charsetdetect-ae

Character set detection for Haskell

cinema

Cinema is no longer an active project - it has been replaced with Sabre.

circe

Yet another JSON library for Scala

circular

Invertible syntax for Scala.

classyapp

Scala port of the ideas in the [Next Level MTL](https://www.youtube.com/watch?v=GZPup5Iuaqw) talk.

community-builds

Scala community builds

concurrent

course-answers

dialectic

Dialectic is a (work in progress) Scala implementation of the *Kanren languages.

dielectric

Dielectric is a playground for coming up with a more functional way of interacting with Spark.

discipline

Flexible law checking for Scala

dogs

data structures for pure functional programming in scala. see the completely incomplete documentation website:

doobie

principled database access for scala

dotfiles

The beginning of my dotfiles/folders collection.

dt-programming-in-agda

Answers to Ulf Norell and James Chapman's "Dependently Typed Programming in Agda" exercises.

emacs.d

emacs config