Diogo Castro
dcastro
Languages
Loading contributions...
Top Repositories
An implementation of the flatbuffers protocol in Haskell.
A port of Scala's Stream[+A] to C#.
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.
Repositories
61No description provided.
No description provided.
No description provided.
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.
No description provided.
No description provided.
Unified parsing and printing for routes in PureScript
No description provided.
No description provided.
A team builder application for FF7 Ever Crisis
An implementation of the flatbuffers protocol in Haskell.
A comprehensive Google Services SDK for Haskell.
No description provided.
A port of Scala's Stream[+A] to C#.
The symbolic execution engine powering the K Framework
No description provided.
A plugin for VSCode that lets you run your Hspec tests, either manually or automatically “on save”, and view the results without leaving the editor.
API Blueprint
Functional Kats Belfast meetup Kata solutions
New formatting library
The Tezos Agora Wiki
No description provided.
Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
No description provided.
Cats Instances For Scalacheck
Simplify and render Template Haskell
No description provided.
learning three.js
Modern and extensible testing framework for Haskell
No description provided.