Lightweight coding agent that runs in your terminal

Roo Code gives you a whole dev team of AI agents in your code editor.

Autonomous coding agent right in your IDE, capable of creating/editing files, executing commands, using the browser, and more with your permission every step of the way.

VS Code in the browser

Scala language server with rich IDE features 🚀

Bloop is a build server and CLI tool to compile, test and run Scala fast from any editor or build tool.

The emacs knowledge graph, app for notes and structured data.

The Brown Benchmark for Table Types (B2T2)

An implementation of the Build Server Protocol for Bazel

🔥 The fastest way to build type safe web apps. IHP is a new batteries-included web framework optimized for longterm productivity and programmer happiness

Experimental implementations of ML-style modules in Scala

A collaborative bibliography of work related to the theory and practice of computational effects

TLA+ specification of the Kafka replication protocol

Generic command line non-JVM Apache Kafka producer and consumer

Stable Haskell package sets: vetted consistent packages from Hackage

The Haskell Tool Stack

Haskell Stackage curator build tool

A framework for reusing code in Clang tools

Sturdy is a library for developing sound static analyses in Haskell.

Manage a user environment using Nix [maintainer=@khaneliman, @rycee]

Fast Haskell XML parser

Emits code crossreference data for Haskell sources.

Kafka client for Haskell, including auto-rebalancing consumers

Hackage mirroring tool

Assorted immutable collection datatypes for Rust

Postmodern immutable and persistent data structures for C++ — value semantics at scale

Yet another Haskell build system.

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

oneAPI Threading Building Blocks (oneTBB)

A General-purpose Task-parallel Programming System using Modern C++