Serialization toolbox for Akka messages, events and persistent state that helps achieve compile-time guarantee on serializability. No more errors in the runtime!

Use the world of Python from the comfort of Scala!

High-quality PNGs for logos I made for fun

Encode binary files to printable utf16be.

RowScript programming language, making a better browser world

Simple project to quickly start developing a Scala-based microservice or web application, without the need to write login, user registration etc.

sbt plugin that can check Maven and Ivy repositories for dependency updates

scalafix rules

Protoscope is a simple, human-editable language for representing and emitting the Protobuf wire format.

A riscv emulator.

A tool for OpenTelemetry tracing on the command line

Learn the Zig programming language by fixing tiny broken programs.

Zero-cost, compile-time, type-safe dependency injection library.

Using Kalix Workflows to implement Saga patterns.

Inochi2D Rigging Application

Inochi2D SDK - Bring your characters to life

A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)

A pure embeddable functional programming language with algebraic effects and direct access to evaluation environments

Mango is a self-hosted manga server and web reader

🔍 🐍 Like pstack but for Python!

Code formatter for Scala

Free online agile retrospective meeting tool

History of type theory (Chinese).

Linear types in Scala

Probabilistic language based on pattern matching and constraint propagation, 153 examples

NewTypes for Scala with no runtime overhead

A graphical editor for graph-like structures

🔄 mpv player 播放器折腾记录 windows conf ； 中文注释配置 快速帮助入门 ； mpv-lazy 懒人包 win10 x64 config