Skip to content
View maximedenes's full-sized avatar
73 followers · 10 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: Pair ExtraordinaireAchievement: Starstruckx2Achievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Highlights

  • Pro

Organizations

@rocq-prover @QuickChick @micro-policies @CoqEAL

Block or report maximedenes

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@alxbnct
Yosef Weissmann alxbnct
@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@dhsorens
Derek Sorensen dhsorens

University of Cambridge London, UK

@OfficialCodeVoyage
Pavlo Bondarenko OfficialCodeVoyage
Product Manager / Software Engineer / Cloud Engineer / IT Enthusiast

Denver, CO

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.
@apples0226
apples0226
@FadiShawki
Fadi Shawki FadiShawki
The Universalis' afoot @orbitmines

@orbitmines The Netherlands

@maxbyz
Gkoran Stoilkovits maxbyz
Gkoran Stoilkovits-Visual Artist who make paintings, sculptures, byzantine icons, printmaking. Enthusiastic about coding and self-taught, amateur programmer 😊

Atelier Stoilkovits Porto Heli, GREECE

@erikmd
Erik Martin-Dorel erikmd
Assoc. Prof. in Computer Science

Lab. IRIT, Univ. Toulouse Toulouse, France

@SeshatCZ
SeshatCZ

Czech republic

@Thoth87
varList Thoth87
@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@Stellaodey
Stella Stellaodey
Programmer, researcher , tourism

Cargill Cotton's Minneapolis united state Minnesota united state

@rtetley
Romain Tetley rtetley
👇👆

SED Inria Sophia-Antipolis

@rtviii
Artem Kushner rtviii

Vienna

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@clarus
Guillaume Claret clarus
Security researcher at @formal-land 🌲 for Web3 applications Applying the 🐓 proof system to find all the vulnerabilities. 🐻‍❄️

Formal Land Paris

@amir
Amir M. Saeid amir

Dublin, Ireland

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@NYStud
Ғ☈ᰀↁ NYStud
Reach out and say hi. Let’s make awesome happen together!

New York, NY

@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@zhengpushi
Zhengpu Shi zhengpushi

Suzhou City University Jiangsu province, China

@intoverflow
Tim Carstens intoverflow

Seattle, WA

@Alizter
Ali Caglayan Alizter

London, United Kingdom

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@xlxs4
Orestis Ousoultzoglou xlxs4
“And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

EMTECH SPACE S.A. Marousi, Athens, Greece

@jaalonso
Jose A. Alonso jaalonso
Matemático interesado en el estudio y enseñanza de la lógica computacional, la programación funcional y el razonamiento automático.

Universidad de Sevilla Sevilla (España)

@quewean
quewean
@minad
Daniel Mendler minad
minadmacs

Germany

@dasinlsb
dasin dasinlsb
Software Engineering, graduated in 2021

BIGO Guangzhou

@xuanruiqi
Xuanrui Qi xuanruiqi
Higher category theory, functional programming and blockchain

Graduate School of Mathematics, Nagoya University Nagoya, Japan

@Twanneman
Twanneman Twanneman
Hi! My name is Twan van Landschoot a.k.a. Twanneman and I'm a developer & designer

Studio Twanneman.nl Tilburg, North-Brabant, The Netherlands, Earth, Milky Way, Virgo Supercluster

@infdahai
clundro infdahai
What I cannot create, I do not understand

Hangzhou, China

@arthuraa
Arthur Azevedo de Amorim arthuraa
Assistant professor at Rochester Institute of Technology.

Rochester Institute of Technology Rochester, NY, USA

@lmzke
Zach Kelly lmzke

Lockheed Martin

@SerialDev
Andres Mariscal SerialDev
@SerialDev Machine learning engineer. Worked in infosec, Computer Vision, NLP. Super into Compiler & game engines.. LLMs and, AUDIO foundation models!

Helsinki, Finland

@revskill10
Truong Hoang Dung revskill10

Freelancer Haiphong, Vietnam

@sdiehl
Stephen Diehl sdiehl
I build software.

London

@soraros
soraros
@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io Dubai

@marat-curious
Marat marat-curious
@nikitavoloboev
Nikita nikitavoloboev
@mukeshtiwari
Mukesh Tiwari mukeshtiwari
Lecturer (Assistant Professor), Swansea University

Swansea

@gldubc
Guillaume Duboc gldubc
@CohenCyril
Cyril Cohen CohenCyril

Inria Lyon, France