Compiler for the Gren programming language

Project Wycheproof tests crypto libraries against known attacks.

Diffie-Hellman key exchange using the Ristretto255 group, in Rust.

Questions/Réponses Anonymes

A novel data lake based on super-structured data

Rust library for encoding/decoding ICO image files

Generalized Algebraic Data Types example in Scala

Compatibility tool for Steam Play based on Wine and additional components

Robust And Fast Functional IO Toolkit

https://disneystreaming.github.io/smithy4s/

Coz: Causal Profiling

Immersive first-person parkour in a surreal, physics-driven voxel world.

Functional JDBC layer for Scala.

A static type analyzer for Python code

A type-safe, reflection-free, powerful enumeration implementation for Scala with exhaustive pattern match warnings and helpful integrations.

Make usage of Graal features easy and safe from Scala. Also features Scala-based React SSR.

Python script to download all Springer books released for free during the 2020 COVID-19 quarantine

Novel Coronavirus (COVID-19) Cases, provided by JHU CSSE

A simple GOG client for Linux

Boiler plate framework to use Spark and ZIO together.

The automation tower defense RTS

Précepte is an opinionated scala monitoring library

A Direct3D9 to Vulkan layer using the DXVK backend. [Upstreamed to DXVK]

Pure IO like monad

Compatibility tool for Steam Play based on Wine and additional components. Gallium Nine with some extras.

An introduction to programming language theory in Agda

Scala compiler plugin for warning suppression

Statically-checked inline matching on regular expressions in Scala

Mirror of Apache Kafka