Steffen Jäschke's repositories
qarith-stern-brocot
Binary rational numbers in Coq [maintainer=@herbelin]
LGPL-2.1000
itp-school-2023.github.io
The International Summer School on Interactions of Proof Assistants and Mathematics 2023
BSD-3-Clause000
llamapun
common language and mathematics processing algorithms, in Rust
GPL-3.0000
OMSTD
The OpenMath Standard (starting with OpenMath 2)
000
Apache-2.0000
WolframLanguageForJupyter
Wolfram Language kernel for Jupyter notebooks
MIT000
chef-repo
chef cookbook
000
easy-scraping-tutorial
Simple but useful Python web scraping tutorial code.
Language:Jupyter NotebookMIT000