Lists (1)
Stars
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 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 3 that tracks effects through context functions
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
Learn the Agda basics in three 2-hour sessions.