tora
torahappy
Previous works:
https://torahappy.org/Prophyan/happy/
<br>
<br>
PGP fingerprint
0D7C37495BFF2A579147E99F90C3A99FE31D2459
Japan
Samuel Carlisle
samthetechie
Python Expert | Platform Engineer (DevSecOps) | Building Scalable, Secure, and Resilient Systems
samthetechie Berlin
Inayet Hadi
inayet
Exciting times where tech is at your finger tips, apis, webhooks, llm, learn and share, being thankful
Dreams API Denver, CO
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Liberty.Chris.
Liberty-Chris
Chris Hockaday - DripDropz - Cardano - KF4DBX
DripDropz.io Indianapolis, IN
Richard Campbel
ricardcamp
Feel free to check out some of my projects on GitHub and get in touch if you have any questions or would like to collaborate.
Orestis Melkonian
omelkonian
2023-2026: Formal Methods @input-output-hk, 2019-2023: PhD @ University of Edinburgh, Interests: Programming Languages, Type Theory, Formal Verification
London, UK
Vaibhav Sagar
vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.
gadigal land/sydney
Connor Baker
ConnorBaker
Nix Engineer and Nix CUDA Maintainer. Interested in formal methods, Haskell, Lean, type & category theory, and computational photography!
Costa Mesa, CA
Lungoupao Khongsai
mlpao500
Lungoupao Khongsai
Director
Permanent Clicksure Affiliate Mail Marketing
United Khulmi Export Import Pvt Ltd Churachandpur, Manipur, India
Oleksandr B.
w0rxbend
Fluent in Backend-ese (microservices, distributed systems, you know the drill)
Functional Programming Fanatic...
Kyiv, Ukraine
Simone Paolucci
Magicianred
Code Imagineer - Application Web Developer - Software Permaculturist - Addicted to Open Source
Italy
Julian Ospald
hasufell
Haskell freelancer, Opensource enthusiast.
Durian Consulting Pte. Ltd. Taipei
PreviousNext