- Germany
-
07:23
(UTC +02:00)
Block or Report
Block or report amesgen
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse
Parsaloi Nakuoh
Parsaloi
Java Engineer * Domain-driven Designer * FP apprentice
G-gang Africa, Earth
Inayet Hadi
inayet
Exciting times where tech is at your finger tips, apis, webhooks, llm, learn and share, being thankful
Dreams API Denver, CO
99 NFTs
nathanielburman
I write human code My projects are all open sourced and in repositories Gender: male, god, dragonkin, cat * Heterosexual 18+ ❤️
arrows >>>------->
MET Magic, Engineering and Technology Inc. Orlando
Murat Kasimov
iokasimov
I'm a software engineer who solves real-world problems by using formal methods to build safe and elegant programs as much as possible.
เชียงใหม่
Guillaume Claret
clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.
Formal Land Paris
Matthew Mosior
Matthew-Mosior
Graduate of Bioinformatics and Computational Biology Program at SLU. I enjoy elucidating and applying algorithms and any thought provoking programming.
Tampa, Florida, USA
Liberty.Chris.
Liberty-Chris
Chris Hockaday
DripDropz
Adosia
Tokhun
TR
DripDropz / Adosia / Tokhun 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
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
University of Edinburgh Kirkwall, Orkney, Scotland
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.
limpid-kzonix
Fluent in Backend-ese (microservices, distributed systems, you know the drill)
Functional Programming Fanatic (Scala stole my heart, sorry Java and JavaScript)
Kyiv, Ukraine
Simone Paolucci
Magicianred
Code Imagineer - Application Web Developer - Software Permaculturist - Addicted to Open Source
Italy
PreviousNext