Official upstream development repository for Cabal and cabal-install

Baremetal environment for "System programming lab" class in Dept. of Information Science, The University of Tokyo

Web API about 🍜

Emacs mode for justfiles

Wolfram Alpha integration

Emacs editing mode for Mathematica and inferior shell.

emacs mode for Wolfram Language

Haskell project template using Nix + Flakes + VSCode (HLS)

A Causal-Consistent Reversible Debugger for Erlang

Haskell source code suggestions

Open-source simulator for autonomous driving research.

MetaDrive: Lightweight driving simulator for everyone

An Emacs major mode for editing Nix expressions.

LaTeX code for a paper on lean's type theory

A fast static site generator in a single binary with everything built-in. https://www.getzola.org

Chrome MCP Server is a Chrome extension-based Model Context Protocol (MCP) server that exposes your Chrome browser functionality to AI assistants like Claude, enabling complex browser automation, c…

All of source code of Floorp 12, the most Advanced and Fastest Firefox derivative 🦊

C++ fast transactional key-value storage.

Concurrency permutation testing tool for Rust.

Composable transformations of Python+NumPy programs: differentiate, vectorize, JIT to GPU/TPU, and more

Generate static HTML archives of Slack workspaces

A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

Simple and flexible tool for managing secrets

Map handling framework for automated driving

Flake template for Haskell repository

A fast type checker and language server for Python

Specification-based real-time monitoring library

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

Compression and decompression in the gzip and zlib formats