Stars
sjrd / dotty
Forked from scala/scala3The experimental compiler for a Scala dialect based on DOT
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
π 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
Create fast-paced video montages from your photo collections
A Scala & Scala.js implementation of DID and DID Comm messaging spec
Efficient CBOR and JSON (de)serialization in Scala
`@ifdef` is an annotation that implements conditional compilation in Scala
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
An SBT plugin for displaying a welcome message and commonly used tasks.