Beast code in Giters

h2-math's repositories

Coq Tutorial from Mike Nahas's repo at https://github.com/mdnahas/mdnahas.github.io/doc/nahas_tutorial.v

Language:HTML000

A curated list of awesome explorable explanations.

CC0-1.0000

Fork of repository for the book "Programming Bitcoin"

NOASSERTION000

Fourier series applet

000