proofconstruction Goto Github PK

agenix

age-encrypted secrets for NixOS

albumentations

Fast image augmentation library and an easy-to-use wrapper around other libraries. Documentation: https://albumentations.ai/docs/ Paper about the library: https://www.mdpi.com/2078-2489/11/2/125

android-password-store

Android application compatible with ZX2C4's Pass command line application

augraphy

Augmentation pipeline for rendering synthetic paper printing, faxing, scanning and copy machine processes

augraphy-frontend

Frontend for augraphy

augraphy-web

A web demo of Augraphy

braun

Model trains

category-theory-illustrated

A book about category theory

corrode

C to Rust translator

data-augmentation-review

List of useful data augmentation resources. You will find here some not common techniques, libraries, links to github repos, papers and others.

device_xiaomi_odin

Device tree for Xiaomi MIX 4

emacs-overlay

Bleeding edge emacs overlay [maintainer=@adisbladis]

exwm

Emacs X Window Manager

fluidx3d

The fastest and most memory efficient lattice Boltzmann CFD software, running on all GPUs via OpenCL.

flyctl

Command line tools for fly.io services

foundation

This is the home of the NixOS Foundation

fpm

Fortran Package Manager (fpm)

frunk

Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.

futhark

:boom::computer::boom: A data-parallel functional programming language

git-teaching

Example git workflows for learners

gpu_sentinel

Monitor your GPU for underutilization.

jitsi

Jitsi is an audio/video and chat communicator that supports protocols such as SIP, XMPP/Jabber, IRC and many other useful features.

kea

A modern, scalable, robust DHCPv4 and DHCPv6 server, with database (MySQL, PostgreSQL), hooks, multi-threading, RADIUS, NETCONF, Kerberos and more.

kitty

Cross-platform, fast, feature-rich, GPU based terminal

kubenix

Kubernetes management with Nix

lapack

LAPACK development repository

literate-org-nixos-system

My system configuration as a literate Org-mode document.

metaseminar

mobile-nixos

mpas-model

Repository for MPAS models and shared framework releases.