Open standard for machine learning interoperability

Pure Borrow: Linear Haskell Meets Rust-Style Borrowing

The CLI for Jinja2

Maintainable configuration files

A cinematic Git commit replay tool for the terminal, turning your Git history into a living, animated story.

🪐 Markdown with superpowers: from ideas to papers, presentations, websites, books, and knowledge bases.

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