Main repository of SageMath

A database website for everything related to cubing.

You like pytorch? You like micrograd? You love tinygrad! ❤️

你管这破玩意叫操作系统源码 — 像小说一样品读 Linux 0.11 核心代码

The old Linux kernel source ver 0.11 which has been tested under modern Linux, Mac OSX and Windows.

Drofa chess engine with NNUE evaluation

The library for web and native user interfaces.

A powerful cross-platform UI toolkit for building native-quality iOS, Android, and Progressive Web Apps with HTML, CSS, and JavaScript.

A framework for building native applications using React

Compressed Log Processor (CLP) is a free log management tool capable of compressing logs and searching the compressed logs without decompression.

Quickstart configs for Nvim LSP

A language server for Standard ML in Rust.

Cross platform local booru collection that exclusively works on local storage, without selfhosting

Long Range Zip

This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).

A toolkit for making real world machine learning and data analysis applications in C++

Database diagrams editor that allows you to visualize and design your DB with a single query.

A collection of useful things I've learned.

Tools and information for the Broadcom VideoCore IV (RaspberryPi)

performance results/benchmarks for a variety of machines

The official repository for the gem5 computer-system architecture simulator.

Apache NuttX is a mature, real-time embedded operating system (RTOS)

Lightweight exception implementation for C

Weighs the soul of incoming HTTP requests to stop AI crawlers

deployment for smlhelp page

Strong chess engine

An ongoing accounting of what AWS's service gaps are in their IPv6 coverage, specifically those that have economic impact.

The MLton repository

Mirror of the R svn with CI for testing patches

Discusses how to verify DKIM signatures in old emails, namely one of the Hunter Biden emails in the news