dantb Goto Github PK

advent-of-code-2021

cardano-sl

Cryptographic currency implementing Ouroboros PoS protocol

cats

Lightweight, modular, and extensible library for functional programming.

cats-sandbox

chat-exercises

chess-with-tdd

A chess game and engine built using test-driven development

circe

Yet another JSON library for Scala

codingame-challenges

A place to keep track of the puzzles and competitions from codingame - warning, dirty code present

config-exercises

contentless

Functional Scala DSLs for Contentful APIs

doobie

Functional JDBC layer for Scala.

doobie-cross-db-streaming

dotnet-experimentation

Experimenting with .NET and C# language features

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

fpinscala

Code, exercises, answers, and hints to go along with the book "Functional Programming in Scala"

fs2

Compositional, streaming I/O library for Scala

gsp-graphql

Experimental GraphQL support for Gemini Science Platform

http4s

A minimal, idiomatic Scala interface for HTTP

http4s-first-app

idris

A language with dependent types

kittens

Automatic type class derivation for Cats

learn-you-a-haskell-exercises

learning-fsharp

A place to play around with F# while I learn the fundamentals

mastermind

Mastermind game in Scala 3

nexus

Blue Brain Nexus - A knowledge graph for data-driven science

project-euler-problems

Solutions to mathematical problems from Project Euler written in C#

purescript-react-app

rediculous

REmote DIctionary Client, that's hysterical.

scala

The Scala programming language

scala-effekt

Extensible algebraic effects with handlers