Skip to content
View coffius's full-sized avatar

Block or report coffius

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Stop prompting. Start specifying.

Python 1,925 177 Updated Mar 30, 2026

GitQL is a extensible SQL-like query language and SDK to perform queries on various data sources such .git files with supports of most of SQL features such as grouping, ordering and aggregation and…

Rust 3,484 98 Updated Mar 9, 2026

Event sourcing journal implementation using Kafka as main storage

Scala 112 19 Updated Mar 30, 2026

Comprehensions for Arrows and Monoidal categories

Scala 60 6 Updated Jun 17, 2025

Automatic and customizable compile time transformations between similar case classes and sealed traits/enums, essentially a thing that glues your code. Scala 3 only. Or is it duct 🤔

Scala 437 8 Updated Mar 29, 2026

Repository for the talk "Natural transformations in practice"

Scala 6 Updated Nov 29, 2022

JVM bytecode back end for Idris

Idris 479 27 Updated Mar 29, 2026

Functional programming toolbox

Scala 541 96 Updated Mar 29, 2026

A fast Kafka client for ZIO and ZIO Streams

Scala 367 145 Updated Mar 25, 2026

Desugaring scala `for` without implicit `withFilter`s

Scala 711 32 Updated May 7, 2024

An Afterthought of Prometheus

Scala 61 19 Updated Dec 18, 2025

Software Foundations in Idris

Idris 457 36 Updated May 15, 2019

A prototype successor to Idris

Idris 540 34 Updated Jul 8, 2019

Purely Functional Algorithms and Data Structures in Scala

Scala 1,478 317 Updated Aug 14, 2023

AST free JSON library for Scala

Scala 121 43 Updated Nov 11, 2025

Pillar manages migrations for your Cassandra data stores.

Scala 20 19 Updated Apr 26, 2021

Putting Slick into repository

Scala 11 2 Updated Mar 1, 2017

💬 Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants

Python 21,107 4,913 Updated Jan 29, 2026

A lightweight Reactive Streams Infrastructure Toolkit for Scala.

Scala 173 22 Updated Jun 18, 2018

Replacement of TypedActors

Scala 1 Updated Jan 15, 2016

ABANDONED Pure Scala serialization library with annotations

Scala 74 10 Updated Jun 12, 2019

Scala data validation library

Scala 29 14 Updated Aug 14, 2016

🙈 Volkswagen detects when your tests are being run in a CI server, and makes them pass.

JavaScript 15,420 242 Updated Feb 27, 2026

An implementation of Computation Expressions in Scala.

Scala 21 3 Updated Aug 15, 2015

Schema safe, type-safe, reactive Scala driver for Cassandra/Datastax Enterprise

Scala 1,045 186 Updated Apr 5, 2023

Simple caching in Scala

Scala 767 120 Updated Apr 24, 2025

A Java framework for the Riot Games League of Legends API (http://developer.riotgames.com/).

Java 195 53 Updated Nov 13, 2025