alinabi

hashable

caffe

Caffe: a fast open framework for deep learning.

milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

NOVA

NOVA Microhypervisor

unordered-containers

vowpal_wabbit

Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive learning.

xmobar

A minimalistic text-based status bar

channelmapper

workflow for mapping and analyzing meandering channels in satellite imagery

CKMR

Close kin mark-recapture simulation and analysis

CKMRsim

efficient sampling for close-kin mark recapture power estimation

clash-playground

A Clash playground/starter kit, using Nix

data

Data and code behind the stories and interactives at FiveThirtyEight

fpu

synthesiseable ieee 754 floating point library in verilog

happybara

Capybara for Haskell

haskell-nix

Nix and Haskell in production

http-proxy

A Haskell library for writing HTTP and HTTPS proxies.

ipcat

Categorization of IP Addresses

Martin_reanalysis

MFE

Maude Formal Environment

nixpkgs

Nix Packages collection

NRE

NOVA runtime environment (official branch)

NUL

NOVA userland

open

DiffusionKinetics open-source monorepo

pydsstools

Python library for simple HEC-DSS functions

pyhecdss

Python 3 interface to the HECLIB for 64 bit using SWIG. Primarily to provide access to HEC-DSS format

seoul

A x86 Virtual Machine Monitor including device modules and instruction emulator. Standalone version of the Vancouver VMM.