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.…

An experimental effect system in Scala that tracks effects through context functions

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