Daniel Waterworth

multi-pass-coordinator. TypeScript

build-loop. Reusable build-loop behaviour-tree bundle for promoted feature worktrees. Mandatory adversarial-review gate before any ready-for-user signal.

octopoid. Local multi-agent scheduler for Claude Code

phoenix. Peace of mind from prototype to production

rimbu. Rimbu is a TypeScript library focused on immutable, performant, and type-safe collections and other tools.

rfd-hosting. Create your own RFD site!

redis. For developers, who are building real-time data-driven applications, Redis is the preferred, fastest, and most feature-rich cache, data structure server, and document and vector query engine.

Jonas-Review-Guesser. Chrome extension that turns Steam into a review guesser game.

NumDot. Tensor math and scientific computation for the Godot game engine.

lua-gdextension. Script Godot objects directly in Lua or create sandboxed LuaStates for modding (Godot 4.5+)

llama2.c. Inference Llama 2 in one file of pure C

nix-gl-host. Run OpenGL/Cuda programs built with Nix, on all Linux distributions.

stable-fluids. A minimal Stable Fluids inspired fluid solver with Python and NumPy.

hermit. Hermit launches linux x86_64 programs in a special, hermetically isolated sandbox to control their execution. Hermit translates normal, nondeterministic behavior, into deterministic, repeatable behavior. This can be used for various applications, including replay-debugging, reproducible artifacts, chaos mode concurrency testing and bug analysis.

bddbddb. Java

nixGL. A wrapper tool for nix OpenGL application [maintainer=@guibou]

coq-cds4ltl. A formal verification of Linear Temporal Logic in Coq

my.rb. Ruby VM in pure Ruby

jsketcher. Parametric 2D and 3D modeler written in pure javascript

sorted-iter. Typesafe extensions for sorted iterators, including set and relational operations

schism. A self-hosting Scheme to WebAssembly compiler

hacker-laws. 🧠 Laws, Theories, Principles and Patterns for developers and technologists.

after_commit_everywhere. Use ActiveRecord transactional callbacks outside of models, literally everywhere in your application.

isolator. Detect non-atomic interactions within DB transactions

lingua-franca. Intuitive concurrent programming in any language

salsa. A generic framework for on-demand, incrementalized computation. Inspired by adapton, glimmer, and rustc's query system.

differential-dataflow. An implementation of differential dataflow using timely dataflow on Rust.

uPlot. 📈 A small, fast chart for time series, lines, areas, ohlc & bars

libleak. detect memory leak by LD_PRELOAD, without changing the target program

plotters. A rust drawing library for high quality data plotting for both WASM and native, statically and realtimely 🦀 📈🚀

flow-cutter. Experimental FlowCutter Code

flow-cutter-pace17. Submission to PACE 17

flow-cutter-pace16. FlowCutter submission to PACE 2016

professional-programming. A collection of learning resources for curious software engineers

bitpacking. SIMD algorithms for integer compression via bitpacking. This crate is a port of a C library called simdcomp.

react-chart-editor. Customizable React-based editor panel for Plotly charts

newspaper. newspaper3k is a news, full-text, and article metadata extraction in Python 3. Advanced docs:

browserify. browser-side require() the node.js way

noteshrink. Convert scans of handwritten notes to beautiful, compact PDFs

codemirror5. In-browser code editor (version 5, legacy)

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

deepmath. Experiments towards neural network theorem proving

gradient-checkpointing. Make huge neural nets fit in memory

speculation-bugs. Docs and resources on CPU Speculative Execution bugs

plastic-v2. plastic language version 2

iCEstick-UART-Demo. This is a simple UART echo test for the iCEstick Evaluation Kit

kaldi. kaldi-asr/kaldi is the official location of the Kaldi project.

aeneas. aeneas is a Python/C library and a set of tools to automagically synchronize audio and text (aka forced alignment)

spaCy. 💫 Industrial-strength Natural Language Processing (NLP) in Python

progressive_growing_of_gans. Progressive Growing of GANs for Improved Quality, Stability, and Variation

holyjit. Generic purpose Just-In-time compiler for Rust.

cleverhans. An adversarial example library for constructing attacks, building defenses, and benchmarking both

tinyflow. Tutorial code on how to build your own Deep Learning System in 2k Lines

draw_convnet. Python

Keras-GAN. Keras implementations of Generative Adversarial Networks.

Factorized-Bilinear-Network. FBN: Factorized Bilinear Models for Image Recognition (ICCV 2017)

really-awesome-gan. A list of papers on Generative Adversarial (Neural) Networks

awesome-public-datasets. A topic-centric list of HQ open datasets.

minpy. NumPy interface with mixed backend execution

tf.gans-comparison. Implementations of (theoretical) generative adversarial networks and comparison without cherry-picking

chainer-gan-lib. Chainer implementation of recent GAN variants

thinc. 🔮 A refreshing functional take on deep learning, compatible with your favorite libraries

tensorflow-generative-model-collections. Collection of generative models in Tensorflow

GANotebooks. wgan, wgan2(improved, gp), infogan, and dcgan implementation in lasagne, keras, pytorch

the-gan-zoo. A list of all named GANs!

DCGAN. The Simplest DCGAN Implementation

IllustrationGAN. A simple, clean TensorFlow implementation of Generative Adversarial Networks with a focus on modeling illustrations.

Anime-Face-GAN-Keras. A DCGAN to generate anime faces using custom mined dataset

pixel-cnn. Code for the paper "PixelCNN++: A PixelCNN Implementation with Discretized Logistic Mixture Likelihood and Other Modifications"

SRGAN. Photo-Realistic Single Image Super-Resolution Using a Generative Adversarial Network

SRGAN. A tensorflow implemenation of Christian et al's SRGAN(super-resolution generative adversarial network)

python-animeface. A library to detect anime faces in images.

animeGAN. A simple PyTorch Implementation of Generative Adversarial Networks, focusing on anime face drawing.

tensor2tensor. Library of deep learning models and datasets designed to make deep learning more accessible and accelerate ML research.

quepy. A python framework to transform natural language questions to queries in a database query language.

pron.github.io. Java

twenty-questions. A tool and protocol for discriminative exploration of solutions to programmer questions.

seL4. The seL4 microkernel

AGE. Code for the paper "Adversarial Generator-Encoder Networks"

ganhacks. starter from "How to Train a GAN?" at NIPS2016

BEGAN. Boundary Equibilibrium Generative Adversarial Networks Implementation in Tensorflow

wasm. Haskell compiler infastructure for WebAssembly

goblin. An impish, cross-platform binary parsing crate, written in Rust

cranelift. Cranelift code generator

legacy-old-hercules. Abandoned

nano-Agda. Tiny type-checker with dependent types

OpenFPGA. OpenFPGA

ck-caffe. Collective Knowledge workflow for Caffe to automate installation across diverse platforms and to collaboratively evaluate and optimize Caffe-based workloads across diverse hardware, software and data sets (compilers, libraries, tools, models, inputs):

squeezenet. Tensorflow implementation of SqueezeNet.

caffe-tensorflow. Caffe models in TensorFlow

are-we-consistent-yet. Compare eventual consistency of object stores

haskell. Haskell bindings for TensorFlow

vim-commentary. commentary.vim: comment stuff out

vim-plug. :hibiscus: Minimalist Vim Plugin Manager

clash-compiler. Haskell to VHDL/Verilog/SystemVerilog compiler

rethinkdb. The open-source database for the realtime web.

tensorbuilder. TensorBuilder is a TensorFlow library enables you to easily create complex deep neural networks by leveraging the phi DSL to help define their structure.

text-to-image. Text to image synthesis using thought vectors

TensorFlow-VAE-GAN-DRAW. A collection of generative methods implemented with TensorFlow (Deep Convolutional Generative Adversarial Networks (DCGAN), Variational Autoencoder (VAE) and DRAW: A Recurrent Neural Network For Image Generation).

prettytensor. Pretty Tensor: Fluent Networks in TensorFlow

VAE-TensorFlow. Implementation of a Variational Auto-Encoder in TensorFlow

autoencoding_beyond_pixels. Generative image model with learned similarity measures

vaegan. An implementation of VAEGAN (variational autoencoder + generative adversarial network).

adversarial. Code and hyperparameters for the paper "Generative Adversarial Networks"

conv_arithmetic. A technical report on convolution arithmetic in the context of deep learning

DCGAN-tensorflow. A tensorflow implementation of "Deep Convolutional Generative Adversarial Networks"

aws-tensorflow-setup. Install TensorFlow on AWS GPU-instance

tensorflow. An Open Source Machine Learning Framework for Everyone

fred-jehle-spanish-verbs. A database of conjugated Spanish verbs created by Fred Jehle and compiled by @ghidinelli

weighted-pretty. Pretty printing with associated costs

monad-dijkstra. Haskell monad transformer for weighted, non-deterministic computation

haskell-names. Haskell suite library for name resolution

thih. Typing Haskell in Haskell

ghcjs. Haskell to JavaScript compiler, based on GHC

uhc. Haskell

intero. Haskell

HList. Import from http://code.haskell.org/HList, See https://hackage.haskell.org/package/HList

stack. The Haskell Tool Stack

data-bitcode-llvm. Data.BitCode.LLVM

deep-learning-models. Keras code and weights files for popular deep learning models.

simple-zipper. Haskell zippers made slightly easier

zippers. Zippers based on lenses and traversals

hindent. Haskell pretty printer

noms. The versioned, forkable, syncable database

editor. Terminal based Haskell structure editor

yi. The Haskell-Scriptable Editor

vty. A high-level ncurses alternative written in Haskell

spec_object. Ruby object specification DSL based on temporal logic

qbf-rust. Rust

idris-protobuf. A partial implementation of Protocol Buffers in Idris

Algorithm-W-Step-By-Step. Classic Algorithm W for type inference.

fathom. DEPRECATED - A framework for extracting meaning from web pages

corrode. C to Rust translator

wiwinwlh. What I Wish I Knew When Learning Haskell

numpile. A tiny 1000 line LLVM-based numeric specializer for scientific Python code.

write-you-a-haskell. Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)

mu. Soul of a tiny new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.

Lispish. This is a weird lil language I wrote a parser and evaluator for

clue. An experimental C to Javascript/Lua/Perl5/Lisp/Java compiler

cuckoo. a memory-bound graph-theoretic proof-of-work system

arachne-pnr. Place and route tool for FPGAs

CAT-Board. The CAT Board is a Raspberry Pi HAT with a Lattice iCE40HX FPGA.

acme-client. A Ruby client for the letsencrypt's ACME protocol.

idris-containers. Various data structures for use in the Idris Language.

Legofy. Make images look as if they are made out of 1x1 LEGO blocks

xen-oses. Xen kernels inspired by reading the 'Defenitive guide to the Xen hypervisor' book.

plastic. What happens if you take dependency injection and bake it into a programming language?

rply. An attempt to port David Beazley's PLY to RPython, and give it a cooler API.

rr. Record and Replay Framework

haskell-cas. A Computer Algebra System written in and for Haskell

z3. The Z3 Theorem Prover

Reduceron. FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA softcore for running lazy functional programs, including hardware garbage collection. Reduceron has been implemented on various FPGAs with clock frequency ranging from 60 to 150 MHz depending on the FPGA. A high degree of parallelism allows Reduceron to implement graph evaluation very efficiently. This fork aims to continue development on this, with a view to practical applications. Comments, questions, etc are welcome.

vector. An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

lucid. Clear to write, read and edit DSL for writing HTML

virtual-dom. A Virtual DOM and diffing algorithm

discrimination. Fast linear time sorting and discrimination for a large class of data types

recursion-schemes. Generalized bananas, lenses and barbed wire

bound. Combinators for manipulating locally-nameless generalized de Bruijn terms

ersatz. A monad for interfacing with external SAT solvers

trifecta. Parser combinators with highlighting, slicing, layout, literate comments, Clang-style diagnostics and the kitchen sink

haskell-in-the-large. A book about large-scale design in Haskell

ocaml-raft. Implementation of Raft consensus algorithm

rqlite. The lightweight, fault-tolerant database built on SQLite. Designed to keep your data highly available with minimal effort.

blaze-binary. A draft of a new binary serialization library based on the new bytestring-builder and attoparsec.

tool_lists. Links to tools by subject

lejit. A simple JIT library in Rust

lru-bounded-map. Haskell implementations of associative containers (maps / dictionaries) which retire elements in least recently used (LRU) order when growing past a specified limit

lca. Improves the known complexity of online lowest common ancestor search to O(log h) persistently, and without preprocessing

PerconaFT. PerconaFT is a high-performance, transactional key-value store

pi-forall. A demo implementation of a simple dependently-typed language

funsat. An efficient, embeddable DPLL SAT solver in Haskell

haskell-minisat. Low-level Haskell binding of Minisat

minisat-haskell-bindings. Haskell-Bindings to MiniSat

cvc5. cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

distributed-process. Cloud Haskell core libraries

distributed-static. Support for static values

HaLVM. The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen

tables. Deprecated because of

rust. Empowering everyone to build reliable and efficient software.

structures. A playground for working on advanced data structures in Haskell

KurrentDB. KurrentDB is a database that's engineered for modern software applications and event-driven architectures. Its event-native design simplifies data modeling and preserves data integrity while the integrated streaming engine solves distributed messaging challenges and ensures data consistency.

kontiki. An implementation of the Raft consensus protocol

llvm-general. Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)

corosync. The Corosync Cluster Engine

djs. Dependent JavaScript: A Typed Dialect

MateVM. A Java JIT compiler written in Haskell

servo. Servo aims to empower developers with a lightweight, high-performance alternative for embedding web technologies in applications.

redish. A multi-threaded, TCP, key-value store inspired by Redis implemented in Haskell.

fpgatools. public domain tools for FPGAs

videocoreiv. Tools and information for the Broadcom VideoCore IV (RaspberryPi)

clay. A CSS preprocessor as embedded Haskell.

Torque3D. Some random code for Torque 3D

Torque3D. MIT Licensed Open Source version of Torque 3D from GarageGames

Idris-dev. A Dependently Typed Functional Programming Language

DeepLearning. Deep learning code by Hinton

FormatParser. Like Parsec, but two-way! (Experimental!)

OpenSubdiv. An Open-Source subdivision surface library.

topaz. A high performance ruby, written in RPython

cwebsocket. cWebsocket is lightweight websocket server library

mezzohaskell. Community-driven book on intermediate Haskell