nosewings

agda-group-theory

Group theory in Agda, including a proof of Lagrange's theorem.

accumulo

Apache Accumulo

agda-daily-prover

Various theorems in Agda.

aoc2021

Advent of Code 2021 (in Rust)

attrs

Python Classes Without Boilerplate

BigMacro.jl

BigFloat and BigInt macros for Julia.

combinatorics-hs

Various combinatorics stuff.

emacs

Mirror of GNU Emacs

regstokes-cuda

CUDA implementation of the method of regularized Stokeslets.

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

home-manager

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

home.nix

involutive-semigroups

Semigroups with involution.

math-3338

nexus-mods

nix-darwin

nix modules for darwin

nix-mode

An Emacs major mode for editing Nix expressions.

nix-update-el

An Emacs command for updating fetch declarations in place

nix-utils

Nix utility functions

nixpkgs

Nix Packages collection

nur-combined

A repository of NUR that combines all repositories [maintainer=@Mic92]

pdoc

:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects

polysemy-optics

Optics for Polysemy.

texmf

Personal LaTeX stuff.

tm

A hastily slapped-together Turing machine simulator.

UnStableManifolds.jl

word24

signed and unsigned 24-bit word types

xterm-24bit

zookeeper

Apache ZooKeeper