Automatic verification of LLVM optimizations

A darktable fork minus the bloat plus some design vision.

CakeML: A Verified Implementation of ML

A kernel that can read from keyboard and print on-screen

A little bit about a linux kernel

✂️ High performance, multi-threaded image scraper

C in four functions

A keyboard-driven, vim-like browser based on Python and Qt.

(Obsolete) Archive of Rant 3.x.

Evolve images using simulated annealing

yewtube, forked from mps-youtube , is a Terminal based YouTube player and downloader. No Youtube API key required.

This repo is used for servicing PR's for .NET Core 2.1 and 3.1. Please visit us at https://github.com/dotnet/runtime