A topic-centric list of HQ open datasets.

Open-source KVM software

Create graphics with a hand-drawn, sketchy, appearance

Torch implementation of neural style algorithm

A Privacy-first, Cross-platform Text Expander written in Rust

Deep Learning in Javascript. Train Convolutional Neural Networks (or ordinary ones) in your browser.

Turn your two-bit doodles into fine artworks with deep neural networks, generate seamless textures from photos, transfer style from one image to another, perform example-based upscaling, but wait..…

Modern embedded framework, using Rust and async.

Open Machine Intelligence Framework for Hackers. (GPU/CPU)

Build Postgres Extensions with Rust!

Neural Network to colorize grayscale images

Command-line sampling profiler for macOS, Linux, and Windows

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

Quadsort is a branchless stable adaptive mergesort faster than quicksort.

Collection of quotes on notation design & how it affects thought.

minted is a LaTeX package that provides syntax highlighting using the Pygments library. Highlighted source code can be customized using fancyvrb.

This library provides implementations of many algorithms and data structures that are useful for bioinformatics. All provided implementations are rigorously tested via continuous integration.

Homomorphic machine learning

🐦 Friendly little instrumentation profiler for Rust 🦀

egg is a flexible, high-performance e-graph library

☁️ A SoundCloud player that lives in your menubar.

Magic decorator syntax for asynchronous code in Python

Deep Learning in Haskell

Resources for learning and using recursion schemes.

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

A programming language with static memory management based on λ-calculus

List system USB buses and devices. A modern cross-platform lsusb that attempts to maintain compatibility with, but also add new features

Procedural generation of tree models in blender

Graph visualization of big messy data

An axiom-free formalization of category theory in Coq for personal study and practical work