AtnNn

conan-center-index

Recipes for the ConanCenter repository

NWaves

.NET DSP library with a lot of audio processing functions

split-patch

Split your patch similarly to `git add -p` but supporting multiple buckets

mathlib3

Lean 3's obsolete mathematical components library: please use mathlib4

uint_mersenne

C++ unsigned integers with undefined overflow

mathzoo

Lean mathzoo

dns66

DNS-based Host Blocker (and lightweight ad blocker) for Android

incremental-mass-rewritten

cbuf

Serialization with C structs :P

8VIM

A Text Editor inside a keyboard, drawing it's inspiration from 8pen and Vim.

obs-backgroundremoval

An OBS plugin for removing background in portrait images (video), making it easy to replace the background when recording or streaming.

projectile

Project Interaction Library for Emacs

latex-input

Enter Unicode characters using LaTeX notation

comma

Comma runs software without installing it. [maintainers=@Artturin,@burke,@DavHau]

home-manager

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

manix

A fast CLI documentation searcher for Nix.

twitch-stream

Helper scripts for live coding on Twitch

extol

Extol Programming Language

git-imerge

Incremental merge for git

nixpkgs-update

Updating nixpkgs packages since 2018

nix-windows

Nix, the purely functional package manager

awesome-nix

😎 A curated list of the best resources in the Nix community [maintainer=@cyntheticfox]

lean4

Lean 4 programming language and theorem prover

os2cx

Integrating OpenSCAD with CalculiX

basilica-r-client

Basilica client for R

command-log-mode

log commands to buffer

jira-dependency-graph

Graph visualizer for JIRA tickets' dependencies

clang-expand

:dragon: A clang tool for happy refactoring without source-code gymnastics

xena

Lean Library currently studying for a degree at Imperial College

lean3

Lean Theorem Prover