The most secure and private way to run Windows
命令行工具、代码编辑器、终端环境与高阶开发工作流。
The most secure and private way to run Windows
beautiful website generator aimed at math-heavy sites
An online, collaborative editor for music notation
Open-Source Audio and Speech Annotation Tool
Algebraic data types and type introspection for pure C
Javascript operating system
Lua/C for mobile devices – Please tell me what you think
Python script for converting .csv to LaTeX tables
A simple lazy Python calculation engine, with spreadsheet demo
A strongly-typed document DB that runs on any transactional KV store
low memory-footprint, API-only torrent search engine
A Python library for graph subsampling
Simple refined types implementation that can prevent Heartbleed
Fast Real-Time Anomaly Detection in Dynamic Graphs
Host your own minimal file sharing site (now with expiring files)
Add a command-line interface to any C++ program
Python decorator that enables arbitrarily-deep tail/non-tail recursion
I stripped DALL·E Mini to its bare essentials and converted it to Torch