Pinned Repositories
nix.dev
Official documentation for getting things done with Nix.
nixpkgs
Nix Packages collection & NixOS
lapack
LAPACK development repository
randoc
Generate random documents
systems
Configs for my machines
augraphy
Augmentation pipeline for rendering synthetic paper printing, faxing, scanning and copy machine processes
proofconstruction's Repositories
proofconstruction/systems
Configs for my machines
proofconstruction/lapack
LAPACK development repository
proofconstruction/agenix
age-encrypted secrets for NixOS
proofconstruction/emacs-overlay
Bleeding edge emacs overlay [maintainer=@adisbladis]
proofconstruction/Flow-Bench
FlowBench: A Flexible Flow Table Benchmark for Comprehensive Algorithm Evaluation
proofconstruction/FluidX3D
The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs via OpenCL.
proofconstruction/foundation
This is the home of the NixOS Foundation
proofconstruction/fpm
Fortran Package Manager (fpm)
proofconstruction/frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
proofconstruction/futhark
:boom::computer::boom: A data-parallel functional programming language
proofconstruction/git-teaching
Example git workflows for learners
proofconstruction/jitsi
Jitsi is an audio/video and chat communicator that supports protocols such as SIP, XMPP/Jabber, IRC and many other useful features.
proofconstruction/kea
A modern, scalable, robust DHCPv4 and DHCPv6 server, with database (MySQL, PostgreSQL), hooks, multi-threading, RADIUS, NETCONF, Kerberos and more.
proofconstruction/kitty
Cross-platform, fast, feature-rich, GPU based terminal
proofconstruction/mobile-nixos
proofconstruction/mu
maildir indexer/searcher + emacs mail client + guile bindings
proofconstruction/nheko
Desktop client for Matrix using Qt and C++20.
proofconstruction/nickel
Better configuration for less
proofconstruction/nix
Nix, the purely functional package manager
proofconstruction/nix-security-tracker
Web service for managing information on vulnerabilities in software distributed through Nixpkgs
proofconstruction/nix.dev
An opinionated guide for developers wanting to get things done with the Nix ecosystem.
proofconstruction/nixdoc
Tool to generate documentation for Nix library functions [maintainer=@asymmetric]
proofconstruction/nixos-router
A NixOS router framework
proofconstruction/nixpkgs
Nix Packages collection & NixOS
proofconstruction/org-static-blog
A static site generator using org-mode
proofconstruction/SC-election-2024
2024 Election for the Steering Committee
proofconstruction/sclang
proofconstruction/serge
A web interface for chatting with Alpaca through llama.cpp. Fully dockerized, with an easy to use API.
proofconstruction/stdlib
Fortran Standard Library
proofconstruction/uniteai
Your AI Stack in Your Editor