Skip to content
View anton-trunov's full-sized avatar
🛠️
Compilers and language tooling
🛠️
Compilers and language tooling
357 followers · 138 following

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Achievements

Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: YOLOAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3Achievement: Starstruck

Organizations

@rocq-prover @cscenter @imdea-software @math-comp @rocq-community

Block or report anton-trunov

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@ton-org
TON Developer Tools ton-org
@nowarp
nowarp nowarp
TON Security
@matter-labs
Matter Labs matter-labs
Practical applications of Zero-Knowledge Proofs

World wide

@JoshuaBatty
Joshua Batty JoshuaBatty
co-founder of nannou a 'creative coding framework for rust'.

MindBuffer Melbourne

@tact-lang
Tact Language tact-lang
Next-generation language for TON blockchain
@ironcev
Igor Rončević ironcev
I ❤ programming. In it, I feel most creative.

Graz, Austria

@mohammadfawaz
Mohammad Fawaz mohammadfawaz
Compilers 🐉 Rust 🦀

@ProvableHQ Toronto, Canada

@emilyaherbert
Emily Herbert emilyaherbert
@shonfeder
Shon Feder shonfeder
Allophilia x Synechism x Rhythmicism

@tarides

@codyroux
Cody Roux codyroux
@jubnzv
Georgiy Komarov jubnzv
@vaivaswatha
Vaivaswatha N vaivaswatha
Compiler Engineer

@FuelLabs Mysore, India

@charguer
Arthur Charguéraud charguer
@etanter
Éric Tanter etanter

University of Chile Santiago, Chile

@intoverflow
Tim Carstens intoverflow

Seattle, WA

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

@cab404
Cabia Rangris cab404
X▄▄▄▄▄X█X█▄▀X▀XX█XXX█X█X▄X█▀▀▄X█▄▄▄█X█▄▀███X▀▄▄▄▄▄▄▄█▀XXX▀X▄▄▄XX▀▀▄X▀▄X▀X█▀▄█XX▀██▄▄▀▀X█▀▄▄▀█X█▀▀▀X████▄▀▄▄█▄█▄▄▄▄▄▄▄██▄ decode for a head pat
@mikevoronov
Mike Voronov mikevoronov

@fluencelabs

@mbakhterev
Михаил Бахтерев mbakhterev

ИММ УрО РАН Российская Федерация, Екатеринбург

@effectfully
effectfully
@pedrotst
Pedro Abreu pedrotst
Type Theory Forall Host

Type Theory Forall Brasília, Brasil

@yugr
Yuri Gribov yugr

Huawei

@gogabr
Georgy Bronnikov gogabr

Moscow, Russia

@mshsmlv
Maria Nedyak mshsmlv
@c-cube
Simon Cruanes c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.

Imandra (@imandra-ai) washington DC

@paulcadman
Paul Cadman paulcadman
Software engineer, mathematician, opera lover.

London

@edashkov
Evgeny Dashkov edashkov
@umazalakain
Uma Zalakain umazalakain

Glasgow, Scotland

@satnam6502
Satnam Singh satnam6502
Functional programming, hardware design and formal specification and verification.

Los Altos, California, United States

@vasil-sd
vasil-sd
@bobatkey
Bob Atkey bobatkey

Edinburgh, UK

@backtracking
Jean-Christophe Filliatre backtracking
@true-grue
Peter Sovietov true-grue

Moscow, Russia

@jmid
Jan Midtgaard jmid
Hacks on FP and property-based testing. Former academic.

Independent Denmark

@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@eupp
Evgeniy Moiseenko eupp
Researcher in Programming Language Theory and Formal Verification.

JetBrains Research

@ayberkt
Ayberk Tosun ayberkt
Researcher in formal verification @zeroth-research

Zeroth Research Birmingham, UK

@erikmd
Erik Martin-Dorel erikmd
Software developer, ex-academic

Toulouse, France

@awalterschulze
Walter Schulze awalterschulze
Projects: facebook/fbthrift, gogoprotobuf, goderive, erlfmt. Interests: LeanProver, Coq, Brzozowski's derivatives.

Stellenbosch University Stevenage, UK

@konnov
[email protected] konnov
Independent Research Scientist in Security and Formal Verification

konnov.phd Vienna, Austria

@volodeyka
Vladimir Gladshtein volodeyka
I do formal verification with interactive theorem provers

National University of Singapore Singapore

@achlipala
Adam Chlipala achlipala
Researcher in tools and platforms to help do niftier things with software and hardware

MIT Cambridge, MA

@monadius
Alexey Solovyev monadius
@vmurali
Murali Vijayaraghavan vmurali
@damien-pous
Damien Pous damien-pous

CNRS, ENS Lyon France

@Ptival
Valentin Robert Ptival
Programming Languages and Software Verification

Galois, Inc. Portland, OR

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

Formal Land Paris

@stop-cran
Roman Konstantinovskiy stop-cran

Microsoft Prague

@lhillah
Lom Messan Hillah lhillah

Paris, France

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh