hmemcpy

zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE

learn-tt

A collection of resources for learning type theory and type theory adjacent fields.

book

A textbook on informal homotopy type theory

scalacaster

Purely Functional Algorithms and Data Structures in Scala

MinecraftDev

Plugin for IntelliJ IDEA that gives special support for Minecraft modding projects.

zio-http

A next-generation Scala framework for building scalable, correct, and efficient HTTP clients and servers

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

SierraDeathGenerator

Generate fake screenshots from video games

bosatsu

A python-ish pure and total functional programming language

zio-workshop

Real World Functional Programming with ZIO

functional-scala

The repository for the Functional Scala workshop.

meow-mtl

Next Level MTL for Scala

Category-Theory-for-Programmers.kt

Kotlin sample code for Bartosz Milewski's CT for Programmers

command-center

A CLI-based launcher and general productivity tool.

reactiveScala

Example of Features, Reactive and Pure functional programing in Scala

Category-Theory-for-Programmers

Swift sample code for Bartosz Milewski's book "Category Theory for Programmers"

forallx-yyc

UCalgary version of forallx, an introduction to formal logic

decrel

Composable relations for Scala

event-driven-messenger

rhodddoobie

My little sandbox for playing around with the FP + OOP + DDD combination, in particular using Rho, doobie, Docker, testing, etc in a project.

sets-logic-computation

Textbook on metalogic based on the Open Logic Project

ide-probe

zio-webhooks

A microlibrary for reliable and persistent webhook delivery

presentations

Slides for presentations!

fromfields

Simple DSL to parse case class'es from Map[String, Option[String]] using Shapeless and Cats

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

mac-dev-playbook

Mac setup and configuration via Ansible.

scalafix-matchall

Small scalafix rule to avoid pattern matching cases that matches everything.