Skip to content
View Sudha247's full-sized avatar

Organizations

@ocamllabs @tarides

Block or report Sudha247

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
@nikochiko
Kaustubh Maske Patil nikochiko
Your friendly neighbourhood FOSS guy. Google Code-in Winner.

Gooey.AI India

@byorgey
Brent Yorgey byorgey
Open-source Haskell developer, educator, blogger, and competitive programmer.

Hendrix College Conway, AR, USA

@goldfirere
Richard Eisenberg goldfirere
I'm a language designer at @janestreet, focusing on type system improvements. I'm also a core contributor in the Haskell ecosystem.

@janestreet Philadelphia, PA

@siddhartha-gadgil
Siddhartha Gadgil siddhartha-gadgil

Indian Institute of Science Bangalore

@metanivek
Kevin Smith metanivek
CTO @brilliantorg · previously eng @tarides, CTO @goabstract · fka @kvnsmth

Brilliant Cincinnati

@haesbaert
Christiano Haesbaert haesbaert
I break software and then attempt to fix it.

@elastic Artificial Wonderlands

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

Independent Denmark

@TheLortex
Lucas Pluvinage TheLortex
Doing things with computers

École Normale Supérieure

@TyOverby
Ty Overby TyOverby
compilers are cool

New York City, Ny, USA

@abbysmal
Abi abbysmal
My brain is a hamster spinning rly rly fast in its wheel. May or may not program computers.

Datadog France

@Leonidas-from-XIV
Marek Kubica Leonidas-from-XIV
Lost in Continuation

@tarides Copenhagen

@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

@karthikraman
Karthik Raman karthikraman
Faculty at IIT Madras, @RamanLab, @IBSE-IITM. Occasional @sanskrit-coders

IIT Madras Chennai, India

@chambart
Pierre Chambart chambart
I do OCaml stuff

OCamlPro Paris, France

@bgamari
Ben Gamari bgamari
I enjoy compilers, hiking, and bicycling

Well Typed LLP Portsmouth, NH, United States

@rizo
Rizo rizo
Lost in macroexpand

Porto (Portugal)

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India

@avsm
Anil Madhavapeddy avsm
Professor of Planetary Computing, University of Cambridge

University of Cambridge Cambridge, UK

@cdsmith
Chris Smith cdsmith

Groq, Inc. Colorado Springs, CO

@vvasuki
Vishvas Vasuki विश्वासः vvasuki
Check out the Organization links (icons below.)

Mountain View CA SMILEUPPS-EC37E93811