Software Engineer (Scala/ZIO/Rust), building distributed/concurrent applications. Interested in using formal verification methods in business applications.
pharo-open-documentation
User-maintained documentation related to Pharo environment, language, and libraries
Amplifying F#
amplifying-fsharp
We aim to inspire developers all over the world to chime in and make F# better in the process.
United Kingdom
Logseq
logseq
A privacy-first, open-source platform for knowledge management and collaboration.
PRISM Model Checker
prismmodelchecker
Source code for the PRISM model checker and related projects
Daniel Lakens
Lakens
Scientist, lives in Rotterdam, The Netherlands
Eindhoven University of Technology Rotterdam, The Netherlands
José Haro Peralta
abunuwas
Full stack consultant at @algorizmian | Creating tools that make it easier to build API and microservices at @microapisio
@algorizmian @microapisio London, UK
Mark Watson
mark-watson
I am the author of 20+ books and hold 55 US patents. I have been working in the field of AI since 1982.
Author and Consultant, available for art time work Flagstaff Arizona
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Mara Bos
m-ou-se
Rust leadership council member, Rust library team lead, Author of Rust Atomics and Locks, Founder of Fusion Engineering and Hexcat
Netherlands
Michaël Le Barbier
foretspaisibles
Mathematician, programmer and infrastructure expert at Thoughtworks.
PhD. | Max Planck Alumni | Agrégé de mathématiques
@thoughtworks Köln (Germany)
asdf-community
A collaborative, community-driven project for the long-term maintenance of asdf plugins.
Python Code Quality Authority
PyCQA
Organization for code quality tools (and plugins) for the Python programming language
Everywhere
Natural Language Processing with Transformers
nlp-with-transformers
Notebooks and materials for the O'Reilly book "Natural Language Processing with Transformers"
Sergey Tihon
sergey-tihon
Father. Husband. Developer. Microsoft MVP. Likes F#, 🦀 and OSS.
@epam Gdańsk, Poland
PreviousNext