Daniel Gerigk's repositories
proof-remove
A script that takes a LaTeX file and filters out all sections of the form "\begin{proof} ... \end{proof}"
amazon-efs-user-guide
The open source version of the Amazon Elastic File System (EFS) User Guide. You can submit feedback & requests for changes by submitting issues in this repo or by making proposed changes & submitting a pull request.
NOASSERTION000
Language:HTML000
Language:Python000
scipy-lecture-notes
Tutorial material on the scientific Python ecosystem
Language:PythonNOASSERTION000
deep-pink
Deep Pink is a chess AI that learns to play chess using deep learning.
Language:Python000
mojo
The Mojo Programming Language
000
stacks-project
Repository for the Stacks Project
Stockfish
UCI chess engine
Language:C++GPL-3.0000
swiftislikescala
Swift is a lot like scala
Language:HTMLMIT000
tutorials
Just Announced - "Learn Spring Security OAuth":
Language:JavaMIT000