amintos
PhD student at @hpi-swa. Doing research on repository mining, interactive programming, modularity, and language concepts.
Berlin
Pinned Repositories
akira
A game playing agent featuring experimental AI concepts and a unified parallel programming model.
audacious-recipes
An evolving collection of home-made receipes, mostly in german
MonadicParser
Extensible PEG (Parsing Expression Grammar) with variables, unification and in-line evaluation
mpi-factoring
MPI application computing a low-rank matrix decomposition (approximated truncated SVD) using parallel stochastic gradient descend.
oauth-bridge
Small service to handle OAuth redirect URLs at a public endpoint for local-first workflows
PyECC
Pure Python implementation of an elliptic curve cryptosystem based on FIPS 186-3. WARNING: This Project is de-facto unmaintained since 2012, algorithms are intended for demonstration and teaching and can be easily broken using side-channel attacks when deployed productively!
PySpective
A BDD-Style spec runner for Python inspired by rspec
tcp-bottle
Simple tcpdump web interface for traffic monitoring
amintos's Repositories
amintos/PyECC
Pure Python implementation of an elliptic curve cryptosystem based on FIPS 186-3. WARNING: This Project is de-facto unmaintained since 2012, algorithms are intended for demonstration and teaching and can be easily broken using side-channel attacks when deployed productively!
amintos/MonadicParser
Extensible PEG (Parsing Expression Grammar) with variables, unification and in-line evaluation
amintos/tcp-bottle
Simple tcpdump web interface for traffic monitoring
amintos/akira
A game playing agent featuring experimental AI concepts and a unified parallel programming model.
amintos/audacious-recipes
An evolving collection of home-made receipes, mostly in german
amintos/mpi-factoring
MPI application computing a low-rank matrix decomposition (approximated truncated SVD) using parallel stochastic gradient descend.
amintos/oauth-bridge
Small service to handle OAuth redirect URLs at a public endpoint for local-first workflows
amintos/PySpective
A BDD-Style spec runner for Python inspired by rspec
amintos/amintos.github.io
amintos/aosa-inc.github.io
amintos/Artikel
Some [German] journalistic items, work in progress, open for feedback.
amintos/code-repository-mining
amintos/Dive
Pattern matching on Python object structures
amintos/eclipse.jdt.core
JDT/Core project repository (eclipse.jdt.core)
amintos/ev3sources
LEGO MINDSTORMS EV3 source code
amintos/hashkernel
A demonstration of how to use hash kernels for ridiculously unprincipled machine learning
amintos/Language_Influences_On_Codestyle
amintos/mechanize
Stateful programmatic web browsing in Python, after Andy Lester's Perl module WWW::Mechanize .
amintos/mlcr18-demos
amintos/Parslinq
Parser combinators using LINQ monads for non-determinism
amintos/programming
amintos/programming-conference.github.io
amintos/raspberry-pi-hacks
Personal notes & codes
amintos/reciples.github.io
reciPL.es
amintos/sajiki
(Under Construction)
amintos/solarized
precision color scheme for multiple applications (terminal, vim, etc.) with both dark/light modes
amintos/Squot
Squeak Object Tracker - Version control for arbitrary objects, currently with Git storage
amintos/swathesis
An unofficial LaTeX class for writing theses at the Software Architecture Group, Hasso-Plattner-Institut, University of Potsdam, Germany.