Pinned Repositories
dcastro.github.io
DequeNET
haskell-flatbuffers
An implementation of the flatbuffers protocol in Haskell.
JSendWebApi
MementoContainer
Sequences
A port of Scala's Stream[+A] to C#.
twenty48
An AI for the 2048 game using minimax and alpha-beta pruning, as described by John Hughes in the paper "Why Functional Programming Matters". The AI was written in Haskell and runs in a Yesod backend.
coffer
Multi-backend password store with multiple frontends
tzbot
Timezone bot for Slack
tztime
Safe timezone-aware handling of time
dcastro's Repositories
dcastro/haskell-flatbuffers
An implementation of the flatbuffers protocol in Haskell.
dcastro/Sequences
A port of Scala's Stream[+A] to C#.
dcastro/dcastro.github.io
dcastro/twenty48
An AI for the 2048 game using minimax and alpha-beta pruning, as described by John Hughes in the paper "Why Functional Programming Matters". The AI was written in Haskell and runs in a Yesod backend.
dcastro/safe-buffer-monad
dcastro/api-blueprint
API Blueprint
dcastro/cats
Lightweight, modular, and extensible library for functional programming.
dcastro/cats-scalacheck
Cats Instances For Scalacheck
dcastro/circe
Yet another JSON library for Scala
dcastro/demo233
dcastro/doctest-mixins
dcastro/fmt
New formatting library
dcastro/ghcide-tyfam
dcastro/haskell-backend
The symbolic execution engine powering the K Framework
dcastro/haskell-hedgehog
Release with confidence, state-of-the-art property testing for Haskell.
dcastro/hls-working-dir
dcastro/hspec-expectations-pretty-diff
Catchy combinators for HUnit +++ colored pretty-printed diffs
dcastro/hw-hspec-hedgehog
dcastro/mono-traversable
Type classes for mapping, folding, and traversing monomorphic containers
dcastro/Monocle
Optics library for Scala
dcastro/newts
Newtype for cats
dcastro/peanuts
learning three.js
dcastro/refined
Simple refinement types for Scala
dcastro/scripts
dcastro/semantic
Parsing, analyzing, and comparing source code across many languages
dcastro/talks
dcastro/tasty
Modern and extensible testing framework for Haskell
dcastro/th-pprint
Simplify and render Template Haskell
dcastro/Vinyl
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
dcastro/wiki
The Tezos Agora Wiki