Skip to content
View gallais's full-sized avatar

Highlights

  • Pro

Organizations

@agda @idris-lang @coqtail @msp-strath @poplmark-reloaded @spls-series @idris-community @frex-project @scottish-pl-institute

Block or report gallais

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
@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@kontheocharis
Constantine Theocharis kontheocharis
In pursuit of corectnes

University of St Andrews UK

@hyperpolymath
Jonathan D.A. Jewell hyperpolymath
NUJ NEC | Open University | Formal Verification, Language Design, Dependable.& Distributed Safety-Critical Systems | Available for collaborations.

The Open University & National Union of Journalists London, United Kingdom

@soumyargithub
Soumya Ranjan Behera soumyargithub
Tech enthusiast | Curious learner Passionate about technology, coding, and how digital platforms work. Exploring, learning, & growing every day.

Bengaluru, India

@hehelego
hehelego hehelego
stay focused,be motivated. It is either meaningful or inspiring otherwise just a waste of time.
@smoonthsky
smoonthsky smoonthsky
robot sdv

hsq metaverse

@augyg
Galen Sprout augyg
Live Laugh Love, Functionally

Ace Talent Community

@vikraman
Vikraman Choudhury vikraman
Chancellor's Fellow

University of Strathclyde Glasgow, UK

@kayym
kay kayym
3rd year Software Engineering student

Glasgow, Scotland

@SeriousBusiness99
SeriousBusiness99
i have no mouth and i must beatbox
@byhow
λ byhow
fullstack dev
@PersonForSure
Monocled PersonForSure
Hobbyist, learning formal methods and systems programming. 15y/o

>_

@neuroevolutus
Abel Sen neuroevolutus
Functional and Systems Programmer
@dee-me-tree-or-love
Mitja O dee-me-tree-or-love
👋 Hello there! | PhD candidate @ UvA | Open-source engineer
@GulinSS
Serge S. Gulin GulinSS
The road to yourself has no return tickets. We are no longer young, but we are still angry.
@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@igarnier
igarnier
I guess I'm a nerd

Paris, France

@SeshatCZ
SeshatCZ

Czech republic

@vaibhavsagar
Vaibhav Sagar vaibhavsagar
software janitor. 🪩 enthusiast. @recursecenter f1'16.

gadigal land/sydney

@stites
Sam Stites stites

@nuprl Boston, MA

@jarlah
Jarl André Hübenthal jarlah
Senior Backend Developer

Brønnøysundregisteret

@nukisman
Alexander nukisman
Idris2, TypeScript, ReactJS, PureScript, Haskell, Elm, NodeJS, HapiJS, AWS
@gokhan-or
Gökhan OR - Ya Hak gokhan-or
GÖKHAN OR İZMİR MENEMEN MALTEPE
@Ramyromel
Ibrahim Ghonem Ramyromel
Redefining science and technology through an unconventional approach that combines artificial intelligence, cybersecurity, physics, medicine, military technolog

Sky limit Egypt

@rahulc29
Rahul Chhabra rahulc29
Cubes and realizers 🧊λ

Aarhus Univeristy Aarhus, Denmark

@ck76
CHENG KUN ck76
一期一会 Software Engineering is about tradeoffs, there is no one right answer.

NEUQ -> Keio University China.Hebei -> China.Beijing -> Japan.Tokyo -> Japna.Kansai

@mmeents
Matt Meents mmeents
Software Engineer, Dad, Pisces, Relentless
@syedazeez337
Syed Azeez syedazeez337
Working on Open Source projects #Cilium #CoreDNS
@ysangkok
Janus Troelsen ysangkok
Looking for a job

Ciudad de México

@morphismz
Raymond Baker morphismz
A contractable space

@MercuryTechnologies Right Here

@SeriousBusiness101
SeriousBusiness101
i have no mouth and i must beatbox
@FeorgeGeorge
Kadanstsev Georgii FeorgeGeorge
Pure Mathematics graduate student, working on formalisation of category theory + mathematical logic

Beijing, China

@SophieBosio
Sophie Bosio SophieBosio
Software engineer at Ardoq and Emacs enthusiast λ Haskell & Clojure

Ardoq Oslo, Norway

@Alf0nso
Afonso Rafael (Gafanhoto) Alf0nso
Compilers, Functional Languages, Linux and too many projects I end up not finishing

Barcelona Supercomputing Center Barcelona

@Juraj-Mihaly
Juraj Mihály - (Neozozohyperfaculty) Juraj-Mihaly
AI debugger Software engineer.

JMCE Košice