Qalculate! library and CLI

Vector drawing library for SATySFi

PyTea: PyTorch Tensor shape error analyzer

The Flix Programming Language

Ormolu GitHub action

High quality text shaping in pure Go.

A compiler and scenario generator for the Scenic scenario description language.

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