SJaeschke
I am a Diploma-Physicist. My name follows the pattern of Glasgow if decomposed to glow and asg. Ä, and Æ, and Je, and Sch, and K matters. Another pattern JHWH!
Steffen Jäschke31061 Alfeld
Pinned Repositories
api-testing-repo
ChatGPTPluginKit
chef-repo
chef cookbook
easy-scraping-tutorial
Simple but useful Python web scraping tutorial code.
itp-school-2023.github.io
The International Summer School on Interactions of Proof Assistants and Mathematics 2023
kaggle-environments
llamapun
common language and mathematics processing algorithms, in Rust
OMSTD
The OpenMath Standard (starting with OpenMath 2)
qarith-stern-brocot
Binary rational numbers in Coq [maintainer=@herbelin]
WolframLanguageForJupyter
Wolfram Language kernel for Jupyter notebooks
SJaeschke's Repositories
SJaeschke/api-testing-repo
SJaeschke/ChatGPTPluginKit
SJaeschke/chef-repo
chef cookbook
SJaeschke/easy-scraping-tutorial
Simple but useful Python web scraping tutorial code.
SJaeschke/itp-school-2023.github.io
The International Summer School on Interactions of Proof Assistants and Mathematics 2023
SJaeschke/kaggle-environments
SJaeschke/llamapun
common language and mathematics processing algorithms, in Rust
SJaeschke/OMSTD
The OpenMath Standard (starting with OpenMath 2)
SJaeschke/qarith-stern-brocot
Binary rational numbers in Coq [maintainer=@herbelin]
SJaeschke/WolframLanguageForJupyter
Wolfram Language kernel for Jupyter notebooks