💧 Liquid Tensor Experiment

A Coq library for Homotopy Type Theory

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

A curated collection of marketing articles & tools to grow your product.

The fast, light, and robust client for Ethereum-like networks.

📝 Today I Learned

Redefined chart library built with React and D3

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

A pure Python poker hand evaluation library

WordPress, Git-ified. This repository is just a mirror of the WordPress subversion repository. Please do not send pull requests. Submit pull requests to https://github.com/WordPress/wordpress-devel…

Parallel computing with task scheduling

TextMate is a graphical text editor for macOS 10.12 or later

Python Koans - Learn Python through TDD