Skip to content
View hargoniX's full-sized avatar
  • Lean FRO
  • Munich, Germany
  • 04:44 (UTC +02:00)

Organizations

@genua @nunchaku-inria @rust-embedded @ApoapsisHGV @stm32-rs @pokeraigym @AeroRust @ht32-rs

Block or report hargoniX

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 is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@monsterkrampe
Lukas Gerlach monsterkrampe
Research Associate / PhD Student @knowsys

@knowsys Dresden

@RagnarGrootKoerkamp
Ragnar Groot Koerkamp RagnarGrootKoerkamp
Hacking on comp.bio.

KIT Karlsruhe

@shigoel
Shilpi Goel shigoel
Applied Scientist at AWS

Austin, TX

@luisacicolini
Luisa Cicolini luisacicolini
creativity & formal methods enthusiast, engineer, phd student

University of Cambridge, @opencompl Cambridge

@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Paris, France

@waynee95
waynee95
programmer. vim user. student

Germany

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

https://ahrefs.com/ washington DC

@algebraic-dev
Sofia Rodrigues algebraic-dev
i like functional programming languages
@term-est
Can term-est
sepples dev :3
@kmill
Kyle Miller kmill

Santa Cruz, California

@joehendrix
Joe Hendrix joehendrix
I'm interested in program analysis, software assurance, and generally making software developers more productive.

Applied Scientist at Amazon Portland, OR

@FrameworkComputer
Framework FrameworkComputer
Remaking consumer electronics to respect people and the planet

California

@Kiiyya
Max Kiiyya
I like doing funky things with Lean 4, type theory, semantics of programming languages.

Karlsruhe, Germany

@alexkeizer
Alex Keizer alexkeizer
PhD Student @ University of Cambridge

University of Cambridge Cambridge

@blanchette
Jasmin Blanchette blanchette

Ludwig-Maximilians-Universität München Munich, Germany

@JLimperg
Jannis Limperg JLimperg
Lean hacking and neurosymbolic AI @ Axiom

Axiom Munich, Germany

@tydeu
Mac Malone tydeu

Lean FRO United States

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

@bollu
Siddharth bollu
mathematics ⋂ computation

University of Cambridge Cambridge

@dangom
Daniel Gomez dangom
Research engineering | Imaging scientist

Cambridge, MA

@lecopivo
Tomáš Skřivan lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
@ndmitchell
Neil Mitchell ndmitchell
Haskell/Rust programmer. All code is open source and licensed by me, not my employer. All views are my own.

Meta Cambridge, UK

@MangoIV
MangoIV
Haskell, Nix and other functional languages

@well-typed Germany

@wadler
Philip Wadler wadler
Professor of Theoretical Computer Science at the University of Edinburgh and Senior Research Fellow at IOHK.

University of Edinburgh Edinburgh

@RalfJung
Ralf Jung RalfJung
I am not looking for a new job, please do not contact me for recruiting.
@Anderssorby
Anders Christiansen Sørby Anderssorby
Developing the Monad language. Interested in NixOS, RISC-V, Quantum comp. and Rust.

Norway

@avigad
Jeremy Avigad avigad

Carnegie Mellon University Pittsburgh

@gebner
Gabriel Ebner gebner

Microsoft Research Seattle, Wash.

@1c3t3a
Bastian Kersting 1c3t3a
Software Engineer

@google Munich, Germany

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@xubaiw
王虚白 xubaiw
Only responsive at weekend maybe

ACEM, SJTU Shanghai, China

@reyk
Reyk Floeter reyk
OpenBSD hacker. Coffee nerd. Former founder & CEO of Esdenera Networks. I hack for fun.

Zurich, Switzerland

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@RaycatWhoDat
RaycatWhoDat RaycatWhoDat
Web/desktop game dev. Ambitious creative-type.

@MaskedCatStudios Chicago, IL

@brendangregg
Brendan Gregg brendangregg
Cloud computing performance engineer.

Intel Sydney, Australia

@mgudemann
Matthias Güdemann mgudemann
professor for formal methods in computer science