Skip to content
View code-ghalib's full-sized avatar

Block or report code-ghalib

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
@prismlab
Prism Lab @ IIT Madras prismlab
Programming Languages for Rigorous Systems at IIT Madras

Chennai, India

@kxcdev
KXC Open Source kxcdev
Open Source Projects from Kotoi-Xie Consultancy, Inc.

Japan

@AI4Bharat
AI4Bhārat AI4Bharat
Artificial-Intelligence-For-Bhārat : Building open-source AI solutions for India!

India

@TodePond
Lu Wilson TodePond
slightly-surreal creative-coding

tldraw London, UK

@NickBarnes
Nick Barnes NickBarnes
OCaml core developer. Compilers, runtimes, garbage collection, general low-level hackery since forever.

Cambridge, UK

@tmattio
Thibaut Mattio tmattio
Building @raven-ml. Former Director of Engineering @tarides, building developer experiences for the OCaml Platform.

New York

@mor1
Richard Mortier mor1

University of Cambridge Cambridge, UK

@Drup
Gabriel Radanne Drup
CS Researcher. I complain about languages.

Inria Lyon

@AltGr
Louis Gesbert AltGr

Inria + OCamlPro Paris

@nojb
Nicolás Ojeda Bär nojb

@LexiFi Paris, France

@gadmm
Guillaume Munch-Maccagnoni gadmm
Moved to GitLab

Inria Nantes, France

@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro Paris, France

@xvw
Xavier Van de Woestyne xvw
I am primarily interested in functional languages (and Types systems) and web developement.

@funkywork, @tarides Nantes

@patricoferris
Patrick Ferris patricoferris

University of Cambridge Cambridge, UK

@ranjitjhala
Ranjit Jhala ranjitjhala

University of California, San Diego San Diego, CA

@Sudha247
Sudha Parimala Sudha247

@tarides Netherlands

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@let-def
Frédéric Bour let-def
Chamelier (pas trop fou)

Tarides Earth

@hammerlab
Hammer Lab hammerlab
We're a lab working to understand and improve the immune response to cancer

Charleston, SC

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

Independent Denmark

@whitequark
Catherine whitequark
the catgirl knows where it is at all times

@SCISemi UK

@shriram
Shriram Krishnamurthi shriram
Brown Computer Science || BootstrapWorld || Pyret || Racket

Brown University

@kit-ty-kate
Kate kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs -------- Autogestion à toute échelle, pain et liberté.

@ahrefs @ocaml-sf Glasgow, Scotland

@tarides
Tarides tarides
Building Functional Systems

France

@garrigue
Jacques Garrigue garrigue

Nagoya University Japan

@craigfe
Craig Ferguson craigfe
Software engineer @monzo. Previously @tarides.

Cambridge, UK

@piyush-kurur
Piyush P Kurur piyush-kurur
For recruiters: I am not interested in a job. Please avoid spamming me.

Indian Institute of Technology Palakkad Palakkad