Typesafe, spec-first APIs without codegen. Just Import 'N' Go!

Modern C++ high level GBA engine

TypeTag without scala-reflect. Supports Scala 2 and Scala 3.

TX Library (TXLib, The Dumb Artist Library) is a tiny 2D graphics library for Win32 written in C++. This is a small sandbox for the very beginners to help them to learn basic programming principles…

Toolkit for Scala Development

📚 A curated list of papers for Software Engineers

A unique fusion of ontology ideas, strong Scala type system and Json flexibility

Touying is a powerful package for creating presentation slides in Typst.

A package for creating slides in Typst

Exercises for the course 'Functional Design by John A. De Goes

Write tables as list of cells and rows.

A tool for catching binary incompatibility in Scala

Explain complex systems using visuals and simple terms. Help you prepare for system design interviews.

Productivity-oriented collection of lightweight fancy stuff for Scala toolchain

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 🤔

Facilities for generating dependently-typed data

Library associated to article submitted to SCICO

Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism

Little snippets of code illustrating functional programming techniques in Scala

Universal Data design and transform language core

A JWT library for scala 3

This Scala library supports JWKSet(RFC7517)

Multiple instance derivations inside a single macro annotation

Typelevel http service definition DSL

Compiler plugin for intuitive tagless final

Functional programming toolbox

Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)

Coq Lecture Notes (WIP)