Lean 4 programming language and theorem prover

A package of memcached client utility for Gauche

Double-entry accounting system with a command-line reporting interface

a generalist algorithm for cellular segmentation with human-in-the-loop capabilities

Read and write TIFF files.

Bio-Formats is a Java library for reading and writing data in life sciences image file formats. It is developed by the Open Microscopy Environment. Bio-Formats is released under the GNU General Pub…

Full-featured nd2 (Nikon NIS Elements) file reader for python. Outputs to numpy, dask, and xarray. Exhaustive metadata extraction

A free, secure and open source app for Android to manage your 2-step verification tokens.

Declarative disk partitioning and formatting using nix [maintainers=@Lassulus @Enzime @iFreilicht @Mic92 @phaer]

Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]

Library for the analysis of networks

An open-source application for biological image analysis

A "batteries-included" distribution of ImageJ 🔋

A Lean 4 formalization of Pólya enumeration theorem.

OpenMTP - Advanced Android File Transfer Application for macOS

Get up and running with OpenAI gpt-oss, DeepSeek-R1, Gemma 3 and other models.

A collection of Nix utilities to work with Python projects [maintainer=@adisbladis]

An extremely fast Python linter and code formatter, written in Rust.

Generate a NixOS config from a Docker Compose project.

A wrapper tool for nix OpenGL application [maintainer=@guibou]

R package to define and fit mixture and hidden Markov (dependent mixture) models

A list of all public EEG-datasets

Daredevil SKK (Simple Kana to Kanji conversion program)

R Interface to Torch

Compares two latex files and marks up significant differences between them. Releases on www.ctan.org and mirrors

Make Zotero effective for us LaTeX holdouts

Messaging in the Emacs World

Important concepts in numerical linear algebra and related areas

Emacs major mode for Lean 4