toybox

Charged Peforator

Compile OCaml to standalone ANSI C file

Factoring as a Service

A high-performance distributed file system designed to address the challenges of AI training and inference workloads.

Haskell Operating System

MirageOS is a library operating system that constructs unikernels

programmatic binary patching using ptrace

Experimental GPU language with meta-programming

Binary protocol generator

A high-fidelity MuJoCo model of the Solo-12 quadruped

Mellanox (Nvidia) 网卡型号众多, 有不少朋友买错型号, 因此整理了一份型号列表供大家参考. Mellanox (Nvidia) has numerous network card models. Many people have bought the wrong models, so this list of models has been compiled for ref…

Super ATX Power!

Nvidia Instruction Set Specification Generator

A minimalist design exploration

Mirror of OS X ABI Mach-O File Format Reference

A CLI for extracting libraries from Apple's dyld shared cache file

Run-time type checker for Python

Some ipython notebooks implementing AI algorithms

Tutorials on tinygrad

Arduino EEPROM programmer

National Novel Generation Month, 2019 edition.

Animation engine for explanatory math videos

Face recognition using Tensorflow

A terminal built on web technologies

An Electron & Vue.js quick start boilerplate with vue-cli scaffolding, common Vue plugins, electron-packager/electron-builder, unit/e2e testing, vue-devtools, and webpack.