Quantum Formalism
quantumformalism
Decoding the essence of the abstract mathematical formalisms needed to break into the nascent quantum computing industry or other emerging deep-tech topics.
@zaikugroup UK
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 @apisec-inc 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, former Rust library team lead, Author of Rust Atomics and Locks, Director of RustNL, Founder of Fusion Engineering and Hexcat
Hexcat, RustNL Delft, Netherlands
Michaël Le Barbier
foretspaisibles
Data & AI Thoughtworks | Sovereign Tech | Math PhD | Agrégé de Mathématiques | Max Planck Alumni | Common Lisp
@thoughtworks Köln (Germany)
asdf-community
A collaborative, community-driven project for the long-term maintenance of asdf plugins.
PreviousNext