FRI low-degree-testing & polynomial commitment scheme

A community-maintained Python framework for creating mathematical animations.

经济学人(含音频)、纽约客、卫报、连线、大西洋月刊等英语杂志免费下载,支持epub、mobi、pdf格式, 每周更新

Learning English through the method of constructing sentences with conjunctions

A curated list of awesome things related to functional programming in Python.

人人都能用英语

A Rust machine learning framework.

The user home repository for the Mathematics in Lean tutorial.

Biological evolution simulator

Milkyway-Cloze: Practice Cloze With Any Text [https://milkyway.qtheperfect.com/milkyway/]

浙江大学课程攻略共享计划

静态网页版【Milkway-Cloze-Plus】

A statically-typed, functional typesetting system

Animation engine for explanatory math videos

Vim notebook cell bindings for JupyterLab

Software Foundations

An collaborative learning group to tackle category theory

Cf. TIme series DiscoverY BENCHmark (tidybench) https://github.com/sweichwald/tidybench

Python toolbox for optimization on Riemannian manifolds with support for automatic differentiation

node.js mdict (*.mdx, *.mdd) file reader

A new type of shell

OPPO R9s/R9sk LineageOS Device Tree

Ruby ♥︎ JavaScript

A TempleOS distro for heretics

Milkyway-Cloze: Practice Cloze With Any Text

The start page about my efforts around smart contract verification