Diogo Castro (dcastro)

dcastro

Geek Repo

Company:Serokell

Location:Porto, Portugal

Home Page:https://diogocastro.com/blog

Twitter:@dfacastro

Github PK Tool:Github PK Tool


Organizations
serokell

Diogo Castro's repositories

haskell-flatbuffers

An implementation of the flatbuffers protocol in Haskell.

Language:HaskellLicense:BSD-3-ClauseStargazers:32Issues:3Issues:10

Sequences

A port of Scala's Stream[+A] to C#.

Language:C#Stargazers:13Issues:3Issues:0
Language:CSSLicense:NOASSERTIONStargazers:6Issues:3Issues:3

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.

Language:HaskellLicense:MITStargazers:5Issues:4Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:1Issues:3Issues:0

api-blueprint

API Blueprint

License:MITStargazers:0Issues:1Issues:0

cats

Lightweight, modular, and extensible library for functional programming.

Language:ScalaLicense:NOASSERTIONStargazers:0Issues:2Issues:0

cats-scalacheck

Cats Instances For Scalacheck

Language:ScalaLicense:MITStargazers:0Issues:0Issues:0

circe

Yet another JSON library for Scala

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0
Language:HaskellStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

fmt

New formatting library

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:2Issues:0

haskell-backend

The symbolic execution engine powering the K Framework

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

Language:HaskellStargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:2Issues:0

hspec-expectations-pretty-diff

Catchy combinators for HUnit +++ colored pretty-printed diffs

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers

Language:HaskellStargazers:0Issues:1Issues:0

Monocle

Optics library for Scala

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0

newts

Newtype for cats

Language:ScalaLicense:Apache-2.0Stargazers:0Issues:2Issues:0

peanuts

learning three.js

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:4Issues:0

refined

Simple refinement types for Scala

Language:ScalaLicense:MITStargazers:0Issues:2Issues:0
Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0

semantic

Parsing, analyzing, and comparing source code across many languages

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0
Language:MakefileStargazers:0Issues:2Issues:0

tasty

Modern and extensible testing framework for Haskell

Language:HaskellStargazers:0Issues:1Issues:0

th-pprint

Simplify and render Template Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

Vinyl

Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

wiki

The Tezos Agora Wiki

License:MITStargazers:0Issues:0Issues:0