lead developer at @statebox ⭐ functional programming - type theory - category theory - abstract algebra - processes - computation
- Amsterdam
- http:https://www.shinsetsu.nl
Block or Report
Block or report epost
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
AlgebraicJulia
AlgebraicJulia
An Ecosystem of Software Based on Generalized Algebra and Category Theory in Julia
DFINITY
dfinity
The Internet Computer aims to reinvent the internet as a computer to host secure software and a new breed of open internet services.
Switzerland
Timothy
tecosaur
Org-mode devotee, and ardent fan of FLOSS. Gradually moving to self-hosted Forgejo.
Adam Porter
alphapapa
Developer with experience in editors (Emacs/Org), Python, Linux, Web front- and back-ends, documentation, testing/QA, support, etc. Looking for work.
USA
Tim Steenvoorden
timjs
Assistant professor in programming language design, functional programming, and type systems
Open University of the Netherlands Nijmegen, Netherlands
Christopher Olah
colah
I want to understand things clearly and explain them well. @openai formerly @brain-research.
San Francisco
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
Christoph Hegemann
kritzcreek
Passionate typed functional programmer. Member of the church of Emacs.
@Sourcegraph Germany
PreviousNext