Computer science, mathematics, logic, cryptography, complexity theory, philosophy, languages.
-
Alpenlabs
- America
Knowledge-Based Systems
knowsys
Projects affiliated with the KBS research group at TU Dresden (note: hosting content here does not establish any formal or legal relation to TU Dresden)
Dresden, Germany
dunxen
dunxen
Barking up trees at Second (https://second.tech)
Mostly on GitLab these days: https://gitlab.com/dunxen
@nexedworks South Africa
dpc
dpc
Born 1985, programming since ~1993, on Linux ~1998, professionally ~2003, on github ~2008, with Rust ~2013.
Deep&wide generalist, FOSS enthusiast.
CA, USA
Nayuki
nayuki
I implement data structures, algorithms, and file formats, emphasizing on correct logic and readable code. My website has a list of articles describing my work.
Project Nayuki Toronto, Ontario, Canada
Kevin Buzzard
kbuzzard
Professor of pure mathematics at Imperial College London.
Currently learning about theorem provers.
@ImperialCollegeLondon London
Philipp Schuster
phip1611
Writing code, maintaining open-source software, solving problems. Also: rock concerts and traveling the world.
@cyberus-technology Dresden, Germany