Pinned Repositories
accumulo
Apache Accumulo
agda-daily-prover
Various theorems in Agda.
agda-group-theory
Group theory in Agda, including a proof of Lagrange's theorem.
aoc2021
Advent of Code 2021 (in Rust)
attrs
Python Classes Without Boilerplate
BigMacro.jl
BigFloat and BigInt macros for Julia.
chomp
chomp instructions
home.nix
regstokes-cuda
CUDA implementation of the method of regularized Stokeslets.
nosewings's Repositories
nosewings/agda-group-theory
Group theory in Agda, including a proof of Lagrange's theorem.
nosewings/home.nix
nosewings/regstokes-cuda
CUDA implementation of the method of regularized Stokeslets.
nosewings/accumulo
Apache Accumulo
nosewings/agda-daily-prover
Various theorems in Agda.
nosewings/aoc2021
Advent of Code 2021 (in Rust)
nosewings/attrs
Python Classes Without Boilerplate
nosewings/BigMacro.jl
BigFloat and BigInt macros for Julia.
nosewings/chomp
chomp instructions
nosewings/combinatorics-hs
Various combinatorics stuff.
nosewings/emacs
Mirror of GNU Emacs
nosewings/emacs-overlay
Bleeding edge emacs overlay [maintainer=@adisbladis]
nosewings/home-manager
Manage a user environment using Nix [maintainer=@rycee]
nosewings/involutive-semigroups
Semigroups with involution.
nosewings/math-3338
nosewings/nexus-mods
nosewings/nix-darwin
nix modules for darwin
nosewings/nix-mode
An Emacs major mode for editing Nix expressions.
nosewings/nix-update-el
An Emacs command for updating fetch declarations in place
nosewings/nix-utils
Nix utility functions
nosewings/nixpkgs
Nix Packages collection
nosewings/nur-combined
A repository of NUR that combines all repositories [maintainer=@Mic92]
nosewings/pdoc
:snake: :arrow_right: :scroll: Auto-generate API documentation for Python projects
nosewings/polysemy-optics
Optics for Polysemy.
nosewings/texmf
Personal LaTeX stuff.
nosewings/tm
A hastily slapped-together Turing machine simulator.
nosewings/UnStableManifolds.jl
nosewings/word24
signed and unsigned 24-bit word types
nosewings/xterm-24bit
nosewings/zookeeper
Apache ZooKeeper