Skip to content
View Armael's full-sized avatar
163 followers · 43 following
  • Inria
  • Paris-Saclay

Organizations

@ocaml @CakeML

Block or report Armael

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
@Noori-Senior
Run way Noori-Senior
Senior Software Engineer with 13 years of experiences

un

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@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

@LinuxJS
Meow LinuxJS
I code in Python. Will work in @vivasoft-ltd

Multiverse

@carld
Carl carld
@ejmin91
ejmin91
Research Scientist
@RustyCobalt36
Rusty RustyCobalt36
@yvef
Iaroslav Babanin yvef
@Hacker-Sam-is-here
Sameer Hacker-Sam-is-here
Primera

Sam Industries Earth

@mowhn
mr_mowhn mowhn
I focus on gaining knowledge and creating projects for fun.
@Laplace-Demon
Zhicheng Laplace-Demon
The road of computer science has been uneasy, luckily you are with me.

Paris

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

Denver, CO

@start974
Jeremy Damour start974

Paris

@benjaminweb
Benjamin Weber benjaminweb

suppz.xyz Germany

@Lysxia
Xia Li-yao Lysxia
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@jevinskie
Jevin Sweval jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer Previously Apple Pay Security

Lafayette, Indiana

@zeon-neon
Zeon zeon-neon
im @NeonGamerBot-QK bot called zeon.

@NeonGamerBot

@CharlesAverill
Charles Averill CharlesAverill
UTD CS PhD, losing my mind grading

@SoftwareLanguagesSecurityLab Dallas

@Lucccyo
Charlène_Gros Lucccyo

Tarides

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@Robbin1998s
Robbin1998s
@mmcloughlin
Michael McLoughlin mmcloughlin

Aurora Innovation Pittsburgh, PA

@krtab
Arthur Carcano krtab
Flazingly bast

@OCamlPro @RedIron-by-OCamlPro Paris, France

@Opadc
Opadc Opadc
code is hard, i prefer for talk

BeiJing

@sudoer777
Ethan Reece sudoer777
UTD student
@cool1209
cool1209
@Adrien-No
adrien Adrien-No
@Gurvan-dev
Gurvan Debaussart Gurvan-dev
Moved to codeberg

France

@gaojian16
gaojian16

Lenovo

@mrragava
mrragava
@Neustradamus
Neustradamus Neustradamus
@senthil28
senthil28
@LibertasSpZ
LibertasSpZ
@GavinXu520
Hi Guy~ GavinXu520
I am an easygoing boy~

Berlin

@co-dan
Daniel Frumin co-dan

Groningen

@FrugBatt
Hugo Fruchet FrugBatt
Computer Science student at ENS

ENS Paris

@beamiter
beamiter
I'm cool
@erikmd
Erik Martin-Dorel erikmd
Assoc. Prof. in Computer Science

Lab. IRIT, Univ. Toulouse Toulouse, France

@Biganon
Simon Junod Biganon
Back-end dev at @tipee-sa, living and working in Lausanne, Switzerland

@tipee-sa Lausanne, Switzerland

@SeshatCZ
SeshatCZ

Czech republic

@valoran-M
Valoran valoran-M
Ocaml <3
@Tim-ats-d
Tim ats Tim-ats-d

@Psi-Prod France, Lyon

@TheLortex
Lucas Pluvinage TheLortex
Doing things with computers

École Normale Supérieure

@MisterDA
Antonin Décimo MisterDA
↑↑↓↓←→←→BA

@tarides Paris, France

@xldenis
Xavier Denis xldenis
formal verification hacker
@diasbruno
Bruno Dias diasbruno
☕ 🛹 🎾 🎼 λ

Brazil

@Kaptch
Sergei Stepanenko Kaptch
Ph.D. student in the Logic and Semantics group, Aarhus University.

Aarhus

@reynir
Reynir Björnsson reynir

@robur-coop Denmark

@verbosemode
Jochen Bartl verbosemode
Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR Slowly moving my personal stuff over to Codeberg

Somewhere near Augsburg, Germany