javiergarea
Follow
Open Riak
OpenRiak
Repository for an open fork of Riak - maintained in conjunction with the Erlang Ecosystem Foundation
Andrew Cropper
andrewcropper
I work on logic and machine learning at the University of Oxford.
William Fank Thomé
williamthome
Developer | Erlanger | Open source fan
Abensoft Itapiranga, SC, Brazil
Cristian
cristiangontri
Computer Scientist based in Galicia, Spain.
Currently working as a VisionOS - iOS engineer
@nomasystems
Bartosz Milewski
BartoszMilewski
Author of Category Theory for Programmers
Programming Cafe Paris, France
Anxo Pérez Vila
Anxo06
Software engineer and PhD in computer science. NLP, IR and ML.
University of A Coruña (UDC)
Dmitry Dygalo
Stranger6667
Rust & Python developer. In love with building fuzzers, interpreters and performant software
Workato Prague, Czech Republic
Nick Vatamaniuc
nickva
Software Developer at IBM Cloudant focusing on distributed database systems and data replication. Some tools I like: Erlang/OTP, Python, C, Linux.
USA
Jon Sterling
jonsterling
Associate Professor in Logical Foundations and Formal Methods
University of Cambridge Cambridge, Cambridgeshire, UK
Victor Taelin
VictorTaelin
Functional-programming enthusiast, author of Kind and HVM.
Higher Order Company Rio de Janeiro, Brazil
FreeProving
FreeProving
This project's goal is to model non-strict languages with effects using free monads in Coq.
Kiel and Flensburg (Germany)
Nomasystems
nomasystems
Founded in 2004, we are a software engineering company specializing in high availability, distributed systems, and mobile ecosystems.
Spain
PreviousNext