Pinned Repositories
containerized-unison-program
Containerize your Unison program!
ficus
Scala-friendly companion to Typesafe config - moved to https://github.com/iheartradio/ficus
fourier-transform-exploration
Using HTML 5 to teach/explore Fourier analysis/transforms
irrec
composable regular expressions based on Kleene algebras and recursion schemes
sbt-ctags
SBT ctags is an SBT plugin that will generate ctags for your Scala project.
scrutinator
Using Shapeless to get type-safe binding of request parameters in Scalatra
shapeless-party-tricks-in-the-enterprise
Shapeless Party Tricks in the Enterprise presentation
unison-foldl
Composable, streaming, and efficient left folds
unison-nix
Nix support for the Unison programming language
unison-nix-snake
Example of building a Unison program via Nix
ceedubs's Repositories
ceedubs/ficus
Scala-friendly companion to Typesafe config - moved to https://github.com/iheartradio/ficus
ceedubs/sbt-ctags
SBT ctags is an SBT plugin that will generate ctags for your Scala project.
ceedubs/unison-nix
Nix support for the Unison programming language
ceedubs/irrec
composable regular expressions based on Kleene algebras and recursion schemes
ceedubs/unison-nix-snake
Example of building a Unison program via Nix
ceedubs/unison-foldl
Composable, streaming, and efficient left folds
ceedubs/containerized-unison-program
Containerize your Unison program!
ceedubs/atto
friendly little parsers
ceedubs/cats
ceedubs/circe-golden
Golden testing for Circe
ceedubs/codebase
ceedubs/dhall-docker-compose
:dash: A library for writing Docker Compose files in Dhall.
ceedubs/dhall-playground
Where I play with Dhall
ceedubs/droste
to iterate is human, to recurse, divine
ceedubs/exercism-unison-test-runner
A test runner for Exercism's Unison Track
ceedubs/gato-parsec
Generalized attoparsec with cats
ceedubs/gh-dash
A beautiful CLI dashboard for GitHub 🚀
ceedubs/kittens
Automatic type class derivation for cats
ceedubs/mxnet-onnx-experiment
Reproducing an issue with ONNX and MXNet
ceedubs/neuron
Haskell meets Zettelkasten, for your plain-text delight.
ceedubs/nixpkgs
Nix Packages collection
ceedubs/quiver
A reasonable library for modeling multi-graphs in Scala
ceedubs/repos
ceedubs/shapeless
An exploration of generic/polytypic programming in Scala
ceedubs/share
Unison Codebase powering Unison Share.
ceedubs/unison
A friendly programming language from the future
ceedubs/unison-base
Unison base libraries
ceedubs/unison-dev
My open source Unison code
ceedubs/unison-histogram
ceedubs/unisonweb-org
Source for the unisonweb.org website