Skip to content
View nathsou's full-sized avatar
48 followers · 73 following
  • Rhône-Alpes, France

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: QuickdrawAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Block or report nathsou

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.

Content in all repositories owned by your account will be closed.
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
@teorth
teorth
@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

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Maître de conférences at ENS Rennes
@gleam-lang
Gleam gleam-lang
A statically typed language for the Erlang VM and JavaScript ✨

On the BEAM!

@andrewrk
Andrew Kelley andrewrk
Lead developer & president of Zig Software Foundation

@ziglang Portland, Oregon

@WebAssembly
WebAssembly WebAssembly
Development of WebAssembly and associated infrastructure

The Web!

@lucky-luuk
Luuk lucky-luuk
Computer Sciences student at Leiden Applied Sciences
@titzer
Ben L. Titzer titzer
WebAssembly co-founder, former V8 engineer.

Carnegie Mellon University United States

@oven-sh
Bun oven-sh
The company behind Bun, the incredibly fast JavaScript runtime, bundler, transpiler and package manager.

United States of America

@tc39
Ecma TC39 tc39
Ecma International, Technical Committee 39 - ECMAScript

The web

@SonarSource
Sonar SonarSource
The home of integrated code quality and code security

Switzerland

@astral-sh
Astral astral-sh
High-performance developer tools for the Python ecosystem, from @openai.

United States of America

@JohnBurke4
John Burke JohnBurke4
@CERN
European Organization for Nuclear Research CERN

Geneva, Switzerland

@wafer-space
wafer.space wafer-space
Budget silicon manufacturing -- create integrated circuits without breaking the bank.

Singapore

@WillGreen
Will Green WillGreen
Public stuff is mostly FPGA and RISC-V.
@david-christiansen
David Thrane Christiansen david-christiansen

Copenhagen, Denmark

@krikzz
krikzz

Ukraine

@Noaemien
Noa Emien Noaemien

Geneva, Switzerland

@psychogenic
Pat Deegan psychogenic
circuit designer, firmware programmer, hardware prototyper, and software guy. Personal blog: https://inductive-kickback.com/

Psychogenic Technologies INC Canada

@ollama
Ollama ollama
@gbdev
gbdev gbdev
Game Boy (Color) development community. Development toolchains, reverse engineering, research, documentation and digital preservation efforts.

VRAM

@azahar-emu
Azahar Emulator azahar-emu
Open source Nintendo 3DS Emulator
@denoland
Deno denoland
Uncomplicate JavaScript
@hdl
Hardware Description Languages hdl
@project-numina
project-numina
@dalance
Naoya Hatta dalance

PEZY Computing K.K. Kanagawa, Japan

@YosysHQ
Yosys Headquarters YosysHQ
Yosys Open SYnthesis Suite
@Razzula
Jack Gillespie Razzula
404: Not Found

University of Manchester @UoMCS; previously at @CERN Earth

@FlorianCassayre
Florian Cassayre FlorianCassayre
CERN · EPFL'22 alumni · Open-source & Climate

@CERN France · Switzerland

@bytecodealliance
Bytecode Alliance bytecodealliance
@GuillaumeDesforges
Guillaume Desforges GuillaumeDesforges
Applied AI Engineer @ mistral.ai

@mistralai Paris

@DanielRosenwasser
Daniel Rosenwasser DanielRosenwasser
Principal Product Manager of TypeScript

@Microsoft Seattle, WA

@carbonati
carbonati
@surma
Surma surma
DX at Shopify. Web Platform Advocate. Craving simplicity, finding it nowhere. Internetrovert 🏳️‍🌈

Shopify Bristol, England

@hwadii
Wadii Hajji hwadii

@Tenderbolt Paris

@muratora
Audrey Muratore muratora
@margynn
Martin margynn

basement

@BrendanEich
Brendan Eich BrendanEich
Founder & CEO, Brave Software. Created JavaScript. Co-founded Mozilla and Firefox.

@brave

@ry
Ryan Dahl ry

@denoland California

@alchitry
alchitry
@triska
Markus Triska triska
https://www.metalevel.at/t

Vienna

@xavierleroy
Xavier Leroy xavierleroy
Professor of software sciences at Collège de France, Paris. Member of Inria research team Cambium. Interested in all scientific aspects of computer programming

Collège de France and Inria Paris, France

@Vardoom
Paul Vardon Vardoom

Dassault Systemes Ecole Polytechnique, France

@carols10cents
Carol (Nichols || Goulding) carols10cents

@integer32llc Pittsburgh, PA, USA

@jilljenn
Jill-Jênn Vie jilljenn
Fixing the world, one commit at a time.

Inria Paris

@jennschiffer
santa claus jennschiffer
my dad was a lizard and so was my dad's dad
@greggman
Greggman greggman
30 years of games 10 years of Chrome

Earth

@AlvinFrey
Alvin Frey AlvinFrey
Fullstack developer(PHP / Node.JS / JS and React) and software deveIopment using C#.

Chilowé Annecy

@AlexUTT
AlexUTT