coltfred

nix-config

Nix config for reproducible laptop setup

yarn2nix

Generate nix expressions from a yarn.lock file

algebra

Experimental project to lay out basic algebra type classes

argonaut

Purely functional JSON parser and library in scala.

avro4s-test-event

Project to show a coproduct event that causes crazy compilation times.

better-monadic-for

Desugaring scala `for` without implicit `withFilter`s

cats

doobie

principled database access for scala

ed25519-dalek

Fast and efficient ed25519 signing and verification in Rust.

enum

fs2-kafka

Kafka client for functional streams for scala (fs2)

GEIA

Code for Findings-ACL 2023 paper: Sentence Embedding Leaks More Information than You Expect: Generative Embedding Inversion Attack to Recover the Whole Sentence

gridiron

Rust finite field library with fixed size multi-word values

haskell_katas

Simple Exercises in Haskell, using HSpec

http4s

A minimal, idiomatic Scala interface for HTTP

install-action

GitHub Action for installing development tools (mainly from GitHub Releases).

kubernetes-kafka

Kafka cluster as Kubernetes StatefulSet, plain manifests and config

newtypes

nixpkgs

Nix Packages collection & NixOS

paiges

an implementation of Wadler's a prettier printer

rand

A Rust library for random number generation.

recrypt-rs

A set of cryptographic primitives for building a multi-hop Proxy Re-encryption scheme, known as Transform Encryption.

rust_swig

Tool for connecting programs or libraries written in Rust with other languages

sbt-release

A release plugin for sbt

scala-optparse-applicative

Scala port of Paolo Capriotti's optparse-applicative library

scala-steward

:robot: A robot that helps you keeping your Scala projects up-to-date

scalapb-example

Repo to show scalapb example

scalaz-scalatest

Scalatest bindings for scalaz.

small-rngs

A home for PRNGs with small state and simple algorithm

tsec

Type-safe general-cryptography library - https://jmcardon.github.io/tsec/