Automatically parallelize your for-comprehensions at compile time.

Collaborative project for the Typelevel Meetup in Lausanne in August 2025

A sound library for scalaJs using Web Audio Api

Twitch VOD/Clip Downloader - Chat Download/Render/Replay

OpenMW is an open-source open-world RPG game engine that supports playing Morrowind. Main repo and issue tracker can be found here: https://gitlab.com/OpenMW/openmw/

Share a single keyboard and mouse between multiple computers.

libfaketime modifies the system time for a single application

This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general

Code for "Zero To Production In Rust", a book on API development using Rust.

A Nix flake for getting started with Scala.

A native macOS app that allows users to chat with a local LLM that can respond with information from files, folders and websites on your Mac without installing any other software. Powered by llama.…

A direct-style effect system in Scala 3 that tracks effects

The easy way to learn Scala.

A tiny lazy objective functional language

Functional, effectful streams with resource management

Dafny is a verification-aware programming language

Awesome materials about database development.

A book about category theory

Lepus Framework is an asynchronous REST API framework for Scala 3.

⚡ Tact compiler for TON blockchain—build secure, efficient smart contracts with powerful tooling and seamless integration

The home of the CUE language! Validate and define text-based and dynamic configuration

The Rocq Prover Website

DPI bypass multi platform

Cache in Scala with cats-effect

🚀 👾 A Drone/UAV Programming Library for Rust.

Compiling Agda code to readable Haskell