A set of smart contracts for managing funds received from the treasury.

A set of development tools for building on Cardano by creating a local devnet.

Plutus Core, CEK Machine in Lean 4, tailored for Blaster usage

Stretto — A Cardano full node in Scala 3 🎵

π RuView turns commodity WiFi signals into real-time spatial intelligence, vital sign monitoring, and presence detection — all without a single pixel of video.

Pretty-printing value, types and type-signatures in Scala

Scalus - Smart contracts & dApps Development Platform for Cardano

Simple, beautiful CLI output

Create fast-paced video montages from your photo collections

A Scala & Scala.js implementation of DID and DID Comm messaging spec

bluetooth mesh chat, IRC vibes

Efficient CBOR and JSON (de)serialization in Scala

`@ifdef` is an annotation that implements conditional compilation in Scala

https://openjdk.org/projects/valhalla

Scala Library for working with Merkle Patricia Tries on Cardano using Scalus

A tool for catching binary incompatibility in Scala

Scala language server with rich IDE features 🚀

♞ lichess.org: the forever free, adless and open source chess server ♞

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

Windowed big integer multiplication implementation on Bitcoin Script

Cardano client library in Java

Rapid development of self-documenting APIs

An SBT plugin for displaying a welcome message and commonly used tasks.

html with targeted manipulation zones

An sbt plugin to dynamically set your version from git

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java