Pinned Repositories
AdventOfCode2016
Advent of code 2016 in Haskell
algebra
Experimental project to lay out basic algebra type classes
amqp-pathwatcher
Dump close_write inotify events onto an AMQP queue.
nix-config
Nix config for reproducible laptop setup
projecteuler
Solutions to projecteuler puzzles
yarn2nix
Generate nix expressions from a yarn.lock file
cats-scalatest
Scalatest binding for Cats
recrypt
Transform encryption library for Scala
recrypt-rs
A set of cryptographic primitives for building a multi-hop Proxy Re-encryption scheme, known as Transform Encryption.
coltfred's Repositories
coltfred/nix-config
Nix config for reproducible laptop setup
coltfred/yarn2nix
Generate nix expressions from a yarn.lock file
coltfred/algebra
Experimental project to lay out basic algebra type classes
coltfred/argonaut
Purely functional JSON parser and library in scala.
coltfred/avro4s-test-event
Project to show a coproduct event that causes crazy compilation times.
coltfred/better-monadic-for
Desugaring scala `for` without implicit `withFilter`s
coltfred/cats
coltfred/doobie
principled database access for scala
coltfred/ed25519-dalek
Fast and efficient ed25519 signing and verification in Rust.
coltfred/enum
coltfred/fs2-kafka
Kafka client for functional streams for scala (fs2)
coltfred/GEIA
Code for Findings-ACL 2023 paper: Sentence Embedding Leaks More Information than You Expect: Generative Embedding Inversion Attack to Recover the Whole Sentence
coltfred/gridiron
Rust finite field library with fixed size multi-word values
coltfred/haskell_katas
Simple Exercises in Haskell, using HSpec
coltfred/http4s
A minimal, idiomatic Scala interface for HTTP
coltfred/install-action
GitHub Action for installing development tools (mainly from GitHub Releases).
coltfred/kubernetes-kafka
Kafka cluster as Kubernetes StatefulSet, plain manifests and config
coltfred/newtypes
coltfred/nixpkgs
Nix Packages collection & NixOS
coltfred/paiges
an implementation of Wadler's a prettier printer
coltfred/rand
A Rust library for random number generation.
coltfred/recrypt-rs
A set of cryptographic primitives for building a multi-hop Proxy Re-encryption scheme, known as Transform Encryption.
coltfred/rust_swig
Tool for connecting programs or libraries written in Rust with other languages
coltfred/sbt-release
A release plugin for sbt
coltfred/scala-optparse-applicative
Scala port of Paolo Capriotti's optparse-applicative library
coltfred/scala-steward
:robot: A robot that helps you keeping your Scala projects up-to-date
coltfred/scalapb-example
Repo to show scalapb example
coltfred/scalaz-scalatest
Scalatest bindings for scalaz.
coltfred/small-rngs
A home for PRNGs with small state and simple algorithm
coltfred/tsec
Type-safe general-cryptography library - https://jmcardon.github.io/tsec/