hearnadam
Follow
Starred repositories
Verification framework and tool for higher-order Scala programs
A purely functional Cassandra client built on top of the Datastax Java Driver supporting a variety of effect systems like ZIO & Cats-Effect supporting both Scala 2 & 3
This GIT repo (C language) holds applications and utilities for the Behringer X32 and M32 mixing consoles. Additional details, documentation, implementation examples and apps can be found in my web…
Fine-grained parallelism with sub-nanosecond overhead in Zig
Scala macros for compile-time generation of safe and ultra-fast JSON codecs + circe booster
Sharding and location transparency for Scala
🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.
Implementation of TimeLine with Durable Execution
🔎 A simple, tiny and lightweight benchmarking library!
Log analyser / visualiser for Java HotSpot JIT compiler. Inspect inlining decisions, hot methods, bytecode, and assembly. View results in the JavaFX user interface.
Create easily your Golem workers from Scala
Golem is an open source durable computing platform that makes it easy to build and deploy highly reliable distributed systems.
A massively parallel, optimal functional runtime in Rust
A series of obstacle courses as a way to compare how different languages and frameworks handle structured concurrency
Scala CLI is a command-line tool to interact with the Scala language. It lets you compile, run, test, and package your Scala code (and more!)
Probably the sharpest git repository organizer & rebase/merge workflow automation tool you've ever seen
Simple, expressive, and safe UI library for Scala.js