Header Image
dougfort
@dougfort

programmer.

Interested in augmentation

Ocaml
Haskell
Racket

Last seen Less than a day ago
Posts 1,282
Followers 224
jailandrade
@jailandrade

Software Developer, currently creating theme and template websites for sale and sharing what I've learned about it.

I am interested in moving the web forward, so I read and share a lot about , , , , , , and .

I am also interested in languages like , , , , and .

I like languages like , , too.

I am a , believer, and advocate.

Last seen 1 day, 4 hours ago
Posts 2,517
Followers 127
Header Image

Programming Languages Researcher/PhD student at NUS/British Indian 3rd Generation Immigrant (TCK)

I'm 100% lost... ... :(

I also have an account at [email protected]!

Website: gopiandcode.uk
Gitlab: gitlab.com/gopiandcode
Github: github.com/gopiandcode

Last seen 1 day, 4 hours ago
Posts 1,025
Followers 63
Lesley Lai
@lesley

Computer Graphics & Programming Languages person.

I twoot about languages like C, C++, Rust, JS/TS, and OCaml.

I organize two online meetups: @graphicsmeetup and Programming Languages Virtual Meetup

he/him

Last seen 1 day, 4 hours ago
Posts 1,271
Followers 488
Header Image
Tomasz
@tomo

I like:

Aspiring long distance

Last seen 1 day, 4 hours ago
Posts 2,152
Followers 154
Header Image
Anurag Soni
@soni

Recent transplant from to the metro area. I'm a Software Engineer. My current Interests are in OCaml, network protocols, RPC systems, Observability and data platforms.

Last seen 2 days, 4 hours ago
Posts 156
Followers 32
Header Image
Frama-C
@frama_c

Open-source platform dedicated to the analysis of source code written in C, featuring:
- an abstract interpretation based analysis (Eva);
- a program proof framework based on deductive verification (WP);
- a runtime verification tool (E-ACSL);
- many tools for code base exploration, dependency analysis, slicing…

Based on formal methods, developed mainly in OCaml.

This account is used by Frama-C team members for technical (and not so technical) discussions, announcements, user support, etc.

Last seen 2 days, 4 hours ago
Posts 12
Followers 49
Header Image
Edwin Török
@edwintorok

developer

Last seen 2 days, 4 hours ago
Posts 158
Followers 14
Header Image
Jason P 🇺🇦
@wirthy

Programming languages, compilers, , , , a little , some music

github.com/jasonperry/

Last seen 2 days, 4 hours ago
Posts 558
Followers 47
Header Image
Sabine
@sabine

When I don't go down rabbit holes, I sometimes do something useful. OCaml.org maintainer.

Last seen 4 days, 4 hours ago
Posts 29
Followers 21