Skip to content
View maximedenes's full-sized avatar
68 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

Organizations

@coq @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
@Khalilheyrani6367
Khalil Heyrani Khalilheyrani6367
💲💲💲💲💲💲⚖️⚖️⚖️⚖️⚖️💲💲💲💲💲💲
@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.

ShanghaiTech University

@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
Maître de Conférences en Informatique (IRIT/UT3)

Lab. IRIT, Univ. Toulouse 3 Paul Sabatier Toulouse, France

@SeshatCZ
SeshatCZ

Czech republic

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

@coq-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

Vancouver

@hannelita
Hanneli Tavante hannelita

(x, y, z, t)

@clarus
Guillaume Claret clarus
Formally verifying web3 applications with the Coq proof system. Working at @formal-land 🌲

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

Nanjing University of Aeronautics and Astronautics Jiangsu province, China

@intoverflow
Tim Carstens intoverflow

Seattle, WA

@nobrowser
Ian Zimmerman nobrowser
Any of my real projects now are on gitlab or sr.ht. This started even before #GiveUpGitHub when I realized github was turning into another "social" site.
@Alizter
Ali Caglayan Alizter

London, United Kingdom

@Lisprez
Lisprez
FreeBSD<$>Haskell<*>Emacs >>= Fire
@xlxs4
Orestis Ousoultzoglou xlxs4
Software Engineer @ EMTECH SPACE S.A.

EMTech Space 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
monad admin

Germany

@dasinlsb
dasin dasinlsb
Software Engineering, graduated in 2021

BIGO Guangzhou

@xuanruiqi
Xuanrui Qi xuanruiqi
Mostly a mathematician now, but still hacking some Coq and tinkering with Arch Linux.

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

Beijing, China

@arthuraa
Arthur Azevedo de Amorim arthuraa
Postdoctoral researcher at Boston University.

Boston, MA, USA

@lmzke
Zach Kelly lmzke
@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
Software Engineer

London

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

TON Foundation 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

@hangohan52
Kenny Han hangohan52
🧗🏽

New York, NY

@dranov
George Pîrlea dranov
PhD student at NUS. Interested in formal verification, distributed systems, blockchains.

Singapore

@pedrotst
Pedro Abreu pedrotst
PL PhD Student at Purdue

Indiana, USA

@OlingCat
Oling Cat OlingCat
Just a little cat.

Hakurei Shrine Gensokyo