carnotweat

1lab

A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

guix-config

bao-hypervisor

Bao, a Lightweight Static Partitioning Hypervisor

cachix-action

Build software only once and put it in a global cache

dotguix

git-novice

Version Control with Git

github-actions-dhall

Typecheck, template and modularize your Github Action definitions with Dhall

guix-rde-clone

sourcehut down

hoice

An ICE-based predicate synthesizer for Horn clauses.

hs-to-coq

Convert Haskell source code to Coq source code.

infra

kcidb

kernelci.org common database tools

makes

A software supply chain framework powered by Nix.

mambo

A low-overhead dynamic binary instrumentation and modification tool for ARM (both AArch32 and AArch64 support) and RISC-V (RV64GC).

nixos-config

not-os

An operating system generator, based on NixOS, that, given a config, outputs a small (47 MB), read-only squashfs for a runit-based operating system, with support for iPXE and signed boot.

ocaml-tls

TLS in pure OCaml

opendp

The core library of differential privacy algorithms powering the OpenDP Project.

prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

qmk_firmware

Open-source keyboard firmware for Atmel AVR and Arm USB families

ranet

redundant array of networks

RCIG_Coordination_Repo

A Coordination repo for all things Rust Cryptography oriented

riscv-opcodes

RISC-V Opcodes

rrs

Rust RISC-V Simulator

rustlings

:crab: Small exercises to get you used to reading and writing Rust code!

sfuzz

High performance fuzzing using riscv to x86 binary translations and modern fuzzing techniques

skyflake

NixOS Hyperconverged Infrastructure on Nomad/NixOS

tsnsrv

A reverse proxy that exposes services on your tailnet (as their own tailscale participants)

twist.nix

Build an entire Emacs configuration as a Nix package in a pure, reproducible way

VerifAI

VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.