nspin Goto Github PK

minimal-nix-docker-image

Minimal Docker image for Nix

minimally-invasive-nix-installer

Minimal, easily audited Nix installer

minlibc

mod-n

Fixed size bit vectors using GHC's new type-level naturals

moodle-crawler

Archive parts of moodle.carleton.edu

mserve

Serves music

n-vector

Fixed size vectors using type level naturals

nix-isabelle

Isabelle packaged using Nix without prebuilt platform-specific binary artifacts

nix-linux

Framework for configuring and building Linux and U-Boot using Nixpkgs

nix-tex

Minimalistic TeX distribution within the Nix package manager

nix2go

Run Nix closures anywhere

nixpkgs

Nix Packages collection

not-a-bot

Cloudflare 503 challenge bypass

nspin.github.io

Source for https://nickspinale.com

nu1-statements

A collection of unsubstantiated claims

pandoc-data

Various templates and auxiliary files for using pandoc.

parking_lot

Compact and efficient synchronization primitives for Rust. Also provides an API for creating custom synchronization primitives.

pyeclib

Python bindings for John Cremona's elliptic curves library

pyxendbg

Debugger for paravirtualized Xen guests

rc4

RC4 stream cipher in pure Haskell, using the strict state monad

recall

Haskell memoization library using -XTypeFamilies

regex

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

regl

Fast, applicative, streaming regular expressions for Haskell

remnux-nix-template

REMnux + Nix using Docker

ring

Safe, fast, small crypto using Rust

routor

Tor controller that allows paths to be chosen on a stream-by-stream basis

rumprun

The Rumprun unikernel and toolchain for various platforms

rust-mbedtls

Idiomatic Rust wrapper for MbedTLS

rust-microkit-demo

Demonstrates the use of the rust-seL4 crates with the seL4 Core Platform

rust-microkit-http-server-demo

Demonstrates the use of the seL4 crates with the seL4 Microkit