Programmer, retreaded mathematician
- Gadigal country, Sydney, Australia
-
20:50
(UTC +11:00) - https://novemberkilo.io
Highlights
- Pro
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
Anamorphic Digital
anamorphic-digital
Building products to accelerate the regenerative economy
Australia
David Allsopp
dra27
Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list
@tarides Cambridge, UK
Shakthi Kannan
shakthimaan
Free/Libre Software developer. Speaker. Writer. Emacser. Functional Programmer.
Chennai, India
Etienne Marais
maiste
Love open-source and sustainable development. Curious about the universe 🌳 Believe in the indie web and distributed architectures 🦉
@tarides
Kate
kit-ty-kate
Contractor working on opam (OCaml Package Manager). Previously @tarides / @ocamllabs
@ahrefs @ocaml-sf Glasgow, Scotland
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
TezEdge
tezedge
TezEdge is a Rust-based node for Tezos. Development has recently been ceased. If you are interested in resurrecting the project, pls contact @drchrispinnock
Patrick Ventuzelo
pventuzelo
CEO & Founder of @FuzzingLabs | Security Researcher.
Focused on Fuzzing, Vulnerability Research, Reversing & Binary analysis
FuzzingLabs Paris, France
PreviousNext