home         instances         join mastodon network         contact

Social Search

Search for social accounts across multiple Mastodon / Fediverse instances. Discover content for the open sorce social network.

Keyword Based

Searching for keyword '#ocaml'..

Results

Found 104 accounts out of 3,571,295 on our system.

                                                                                                                                                                                                       
    Details Followers Updates
kit_ty_kate@lesbiab.spaceKate
Github, Twitter
kit_ty_kate@lesbiab.space  [follow]
OCaml ecosystem upgrader & opam & CI dev for ocamllabs and ocaml-sf · Anarchist Communist · Programming Languages Theory#admin of lesbiab.space Location=Glasgow, Scotland PP=modified art from chomado
6593,946
amiloradovsky@functional.cafeamiloradovsky
amiloradovsky@functional.cafe  [follow]
Interests include: #Coq, #OCaml, #Ocsigen, #Guix, #Coreboot & #Libreboot, #Ada & #SPARK, #RISCV, #VHDL, #FPGA, #embedded; free/libre/public computing & culture, copyleft, pure & applied #mathematics & #mechanics
48619,305
hannesm@mastodon.socialhannes
hannesm@mastodon.social  [follow]
hacker #OCaml #MirageOS #unikernel #FreeBSD #cycling #network #infrastructure #privacy #anarchism https://hannes.nqsb.io
4831,039
epi@ihatebeinga.live e p i c m o r
epi@ihatebeinga.live  [follow]
i use ubuntu btwuserpic (and my fav): hitoribocchi programming: Racket, OCaml, Emacs gaming: Switcheroo gamus & supertuxkartpronouns: he/him
2670
yomimono@wandering.shop🚲 yomimono 🚲
yomimono@wandering.shop  [follow]
cis lesbian (fuck off TERFs), computer skeptic, purr-programming enthusiast, itinerant dog-petter#unikernel #ocaml #embroidery #bicycle #cat #sun #justice
2413,189
gopiandcode@freespeechextremist.comStallman's NO.1 simp
gopiandcode@freespeechextremist.com  [follow]
Expert Computer Scientist in training.OCaml developer, Emacs user, PL Researcher. jabber/xmpp=gopiandcode@member.fsf.org I support=RMS
1381
bronsen@chaos.socialbronsen
bronsen@chaos.social  [follow]
Leitender Direktor des Instituts für angewandte Futuristik @infuanfu✔ Kein Sarkasmus✔ Keine Medienkompetenzerziehung✔ Keine Brand Loyalty Conslutting=25K €/day NN Pronoun=He/Him learning=#ocaml #rust more?=please re-read
1371,810
xvw@merveilles.townxvw
xvw@merveilles.town  [follow]
I like programming using nice languages like OCaml, Haskell, F# and IO and I try to draw, with spray on walls.
107566
lobo@chaos.socialThis is lobo sp*king
lobo@chaos.social  [follow]
@verbosemode on twitter / Packet Monkey, Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR
105367
typochon@functional.cafetypochon
typochon@functional.cafe  [follow]
PhD student at the University of Nottingham ⋅ Interested in functional programming (Haskell, OCaml), modeling languages and synchronous languages
9886
philipwhite@functional.cafePhilip White
philipwhite@functional.cafe  [follow]
Interested in #NixOS, #Zig, #OCaml, #Haskell, #Mathematics, #Compilers, #UltimateFrisbee
94680
dinosaure@mastodon.socialDinosaure
dinosaure@mastodon.social  [follow]
Wesh gro bi1? #OKLM #OCaml
82199
armael@mamot.frArmael
armael@mamot.fr  [follow]
Post doc · French, living in Denmark · I do formal proofs in Coq during the day, and hack in OCaml during the night.
69246
engil@mastodon.socialEngil
engil@mastodon.social  [follow]
OCaml, Unikernel, things.
67276
theaspiringhacker@functional.cafeTAH
theaspiringhacker@functional.cafe  [follow]
#OCaml #kon #k_on
58943
tomo@floss.socialTomasz
tomo@floss.social  [follow]
I like: #linux #vim #ocaml #racket #clojure #malamute #zen #beer #camping
56183
smondet@framapiaf.orgSeb Mondet
smondet@framapiaf.org  [follow]
https://seb.mondet.org@ni3dance#OCaml #Bass #Coq #Guitar
51255
ashiato45@mstdn.jp足跡45(アカウント移行)
ashiato45@mstdn.jp  [follow]
軽いゲームを作ったり。/同人ゲームサークル「オーバーイプシロン(@OverEpsilon)」のメンバー。/Haskell/Python/OCaml/凡人なりに数学がしたい/はやく美少女が描けるようになりたい/ashiato45.github.io
48550
rhapsodos@scholar.socialJulien Girard
rhapsodos@scholar.social  [follow]
PhD Student in formal method and deep learning. Aim to bring trust on deep learning based software. Also, I cook when I'm not doing any OCaml.
48122
dysinger@mstdn.ioTim
dysinger@mstdn.io  [follow]
Statically-typed functional dev #haskell #ocaml #reasonml #shen #rustlang #nix #hamradio (NH6F|HS0ZNQ) PGP@0x3F1AB897B5072741
4719
verbosemode@mastodon.socialThis is lobo sp*king
verbosemode@mastodon.social  [follow]
@verbosemode on twitter / Packet Monkey, Network Plumber, OCaml, Python, Chaostreff Augsburg, OpenLab Augsburg, ... TL;DR
4781
engil@eldritch.cafeEngil
engil@eldritch.cafe  [follow]
Cylindrical software developer.I like OCaml, unikernels, photography and philosophy and I’m terrible at everything I just mentionned.ワントリックポニー
3775
dwc@mastodon.socialDarrin Chandler
dwc@mastodon.social  [follow]
I write code. Like C, OCaml, Common Lisp, Elixir.
364
outkine@fosstodon.orgAnton
outkine@fosstodon.org  [follow]
I like Vue, OCaml, and teaching people how to code.
35236
vramana@mastodon.socialRamana Venkata
vramana@mastodon.social  [follow]
Front-end Developer, Currently intrested in OCaml & Reason
3435
samoht@mamot.frsamoht
samoht@mamot.fr  [follow]
#ocaml #mirageOS #irmin http://gazagnaire.org
331
akitsu_sanae@mstdn.io秋津早苗
akitsu_sanae@mstdn.io  [follow]
japanese student. Programming languages (Rust, OCaml), type theory, model checking, and boys love.I would be happy if you could point out my English mistakes.
3240
neatonk@mastodon.socialneatonk
neatonk@mastodon.social  [follow]
I make websites for artists with Clojure. Also OCaml/MirageOS/seL4. Recorded some hardcore bands. Following other devs, admins, and musicians.
3223
sjanes@fosstodon.orgSimon Janes (mi'e SImon.)
sjanes@fosstodon.org  [follow]
Mostly idle on Mastodon these days while focused on nb∎.let conditions_of_following = "#nobot"; let mut other_interests = vec![ "#rust", "#sre", "#startups", "#anki", "#haskell", "#ocaml", "#infosec", "#lojban", "#pulmonaut", "#ipfs", "#game_b", "#kakoune" ];Game Ⓑ Distro=Pop! OS | NixOS Linux User Since=1994 random∎=https://gateway.ipfs.io/ipns/QmadngtR4A2M9j9jwtaPj45JK3aGZNMx3fSERvP7DPy9ZL/ nb∎ Patreon=https://www.patreon.com/notewell_semantics
32592
alphakai@mstdn.jpα改
alphakai@mstdn.jp  [follow]
D, OCaml, 型あたりが好き seccamp’14/鯖江高(福井)→coins17(AC)GitHub: http://github.com/alphaKAITwitter: http://twitter.com/alpha_kai_NET
317
xvw@sunbeam.cityXavier Van de Woestyne
xvw@sunbeam.city  [follow]
I like programming using nice languages like OCaml, Haskell, F# and IO.
2761
astarasikov@mastodon.xyzAlexander Tarasikov
astarasikov@mastodon.xyz  [follow]
Life, programming and electronics. *NIX,ARM,OS kernel,DSP,OpenGL,OCaml. Dream of working on GPU driver stuff!
241
mseri@mathstodon.xyzMarcello Seri
mseri@mathstodon.xyz  [follow]
Maths, lambdas and rock'n'roll. Assistant Professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own
2436
gallais@mamot.frgallais
gallais@mamot.fr  [follow]
Agda, Haskell, OCaml
235
oteku@mastodon.socialThomas Haesslé
oteku@mastodon.social  [follow]
CTO at Cutii.io, Teacher at #MIAGELille , Mentor #MIAGE Entrepreneurs, Adept #LilleFP. Love #OCaml #ReasonML #Rust #nodejs programming=rust ocaml=
22490
nore@framapiaf.orgInductive nat : Type
nore@framapiaf.org  [follow]
Computer science Ph.D. student, OCaml hacker, type systems enthusiast, math & games lover, core developer of Minetest.
2198
vlkrs@bsd.networkVlkrS
vlkrs@bsd.network  [follow]
Preparing myself for the year of the {Open,Free}BSD breakthrough on the Desktop. Also #Haskell, #Elm, #PureScript, #Ocaml, #Neovim
2055
timgluz@mastodon.socialTimo Sulg
timgluz@mastodon.social  [follow]
BlueCollar programmer: #Clojure, #Rust, #OCaml, #LFE, #Ruby ; digging deeper into text mining, IR and recsys;
1812
kemitix@sociable.cafePaul Campbell
kemitix@sociable.cafe  [follow]
Site admin at Sociable CafeEditor and Publisher of Cossmass Infinities the online fantasy and science fiction short story website as https://www.cossmass.com/Software Engineer at Cloudsoft (working with Java, Typescript, ServiceNow, Jira DC and Jira Forge plugins)Learning Ocaml (in-between lots of distractions)Runner with @falklandTrailRunners@a.gup.peDad to River (Hungarian Vizsla x Irish Setter)Other-half to Orla.
166
jonatack@mastodon.social*
jonatack@mastodon.social  [follow]
Founder|Hacker|Surfer. INSEAD, Harvey Mudd. Wrote pro games in 6502 Assembly as a kid (Quasimodo, Meteor Storm). Assembly Lisp C/C++ Ruby OCaml/SML. Bitcoin.
1323
ocamlpro@mastodon.socialOCamlPro
ocamlpro@mastodon.social  [follow]
OCamlPro promotes the use of the OCaml programming language, by providing all services that companies would need to use it
132
ashiato45@p.ashiato45.net足跡45(自前インスタンス)
ashiato45@p.ashiato45.net  [follow]
昔は小さいゲームを作っていた/同人ゲームサークル「オーバーイプシロン(@OverEpsilon)」のメンバー/Rust/Python/OCaml/ゆるふわ数学/お絵かき練習(http://poipiku.com/451735/)/形式検証、プログラム検証/ twitter: http://twitter.com/ashiato45
11897
ansiwen@mastodon.socialAnSiWen 安斯文
ansiwen@mastodon.social  [follow]
Software Engineer @ #RedHat#keyfender #unikernel #ocaml #mirageos #hsm #kubernetes #gluster #heketi#paragliding #sailing #samba
95
camloeba@lou.ltcamloeba
camloeba@lou.lt  [follow]
Slimy Caml #kyoto #ocaml #haskell
89
takuan_osho@best-friends.chatたくあん和尚
takuan_osho@best-friends.chat  [follow]
Software Engineer (Primary language is Python. Recently learning OCaml) / Japanese Anime Fan(I love Zegapain!!!) / Practicing Budos(Iaido and Karate)quoted from my Twitter account
8158
yoshihiro503@pleroma.soykaf.comyoshihiro503
yoshihiro503@pleroma.soykaf.com  [follow]
Coq, OCaml, Scala
80
cloudyhug@functional.cafecloudyhug
cloudyhug@functional.cafe  [follow]
Hello ! I'm a French IT student from Saint-Malo (France). I'm studying at INSA Rennes. I love C and OCaml. Functional programming looks like a jewel to me.
724
greysemanticist@c.imGrey Semanticist
greysemanticist@c.im  [follow]
Systems Designer: First Principles and Long Games. Hopeful Avoider of Unintended Consequences. enum PLT { Rust, Scheme, Elm, Golang, Bash, Python, CommonLisp, Haskell, OCaml, C }Occasional patron of machine-generated art (funds provided to Evergy).
749
jon@functional.cafe*
jon@functional.cafe  [follow]
Founder|Hacker|Surfer. INSEAD/Harvey Mudd. Wrote pro games in 6502 assembly as a kid (Quasimodo, Meteor Storm). Assembly Lisp C/C++ Ruby OCaml/SML Linux Bitcoin
618
jon@linuxrocks.online*
jon@linuxrocks.online  [follow]
Founder|Hacker|Surfer. INSEAD, Harvey Mudd. Wrote pro games in 6502 Assembly as a kid (Quasimodo, Meteor Storm). Assembly Lisp C Ruby OCaml/SML PureOS Bitcoin.
64
koizel@hostux.social
koizel@hostux.social  [follow]
Interested in computer science, formal proof, functional and logic programming, OCaml, BSDs, progressive music, jazz-funk and more.GPG: E5EA DC25 705C 8DDD CFD4 5700 31BC 8105 F659 D425 speaking=french, english webpage=http://tilde.club/~koizel
310
m_v_m@fosstodon.orgMichal Majchrzak
m_v_m@fosstodon.org  [follow]
Elixir, Ocaml, Clojure, Rust developer, functional programming worshipper, text mode devotee...
32
soni@hachyderm.ioAnurag Soni
Web, GitHub
soni@hachyderm.io  [follow]
Software Engineer. Interested in OCaml, network protocols, RPC systems, Observability
31
juergenhoetzel@mastodon.cloudjuergenhoetzel
juergenhoetzel@mastodon.cloud  [follow]
Emacs, Archlinux and OCaml/F#
20
ocaml2021@watch.ocaml.orgOCaml Workshop 2021
ocaml2021@watch.ocaml.org  [follow]
The OCaml Users and Developers Workshop brings together industrial users of OCaml with academics and hackers who are working on extending the language, type system, and tools. Previous editions have been co-located with ICFP 2012 in Copenhagen, ICFP 2013 in Boston, ICFP 2014 in Gothenburg, ICFP 2015 in Vancouver, ICFP 2016 in Nara, ICFP 2017 in Oxford, ICFP 2018 in St Louis, ICFP 2019 in Berlin, and was virtual for ICFP 2020, following the OCaml Meetings in Paris in 2010 and 2011. OCaml 2021 will be a virtual workshop, co-located with ICFP 2021. Please contact the PC Chair (Frédéric Bour) for any questions and see the homepage at https://icfp21.sigplan.org/home/ocaml-2021
220
davidwritesbugs@venera.socialDavid Harris
davidwritesbugs@venera.social  [follow]
Ill-mannered bad-tempered grumpy dad of young kids.Privacy nutjob: I hate trackers, ad-networks & data brokers.Voted Brexit and remain very happy about that as of early 2021.Like photography but don't do much anymore: have a Canon EOS-D1 and Sony A7C.Like coding as a hobby. I prefer strongly typed static functional languages: OCaml, Elm, F#, Idris. I also use Python, Go, R, Erlang (& Elixir).I like statistics & maths but have ZERO competence.Used to be a lawyer. Used to be an entrepreneur.Partially disabled now.Love Mead, like whisky.Loner. Not a people person.Live in the countryside. Ex London & Brighton.
18
daylien@fosstodon.orgMalte
daylien@fosstodon.org  [follow]
University CS student and hardware/embedded developerC, C++, VHDL, Rust, OCaml, Erlang, Java, Python and Go enthusiast
10
jon@liberdon.com*
jon@liberdon.com  [follow]
Founder|Hacker|Surfer. INSEAD/Harvey Mudd. Wrote pro games in 6502 assembly as a kid (Quasimodo, Meteor Storm). Assembly Lisp C/C++ Ruby OCaml/SML Linux Bitcoin
11
ocaml2014@watch.ocaml.orgOCaml Workshop 2014
ocaml2014@watch.ocaml.org  [follow]
The OCaml Users and Developers Workshop Gothenburg, Sweden, September 5, 2014 Colocated with ICFP 2014, the day after the ML Family Workshop. https://ocaml.org/meetings/ocaml/2014/
118
rpgrimoire@mastodon.socialrpgrimoire
rpgrimoire@mastodon.social  [follow]
mutant, berserker technomancer, adventurer Day job=#terraform #ansible #python #linux #AWS Hobby=#emacs #elisp #ocaml TTRPG=#OSE #Hyperborea #StarTrekAdventures #Starfinder
143
2bitsalute@twtr.plus2BitSalute
Official
2bitsalute@twtr.plus  [follow]
I like OCaml. Currently Microsoft (Exchange/ESE), formerly Facebook (Hacklang). Brand Blockers of the world, unite: https://tinyurl.com/4542rnf6
00
alastair_d_reid@birdsite.slashdev.spaceAlastair Reid
Official
alastair_d_reid@birdsite.slashdev.space  [follow]
Research Scientist at @GoogleAI in London. Formal methods, security, computer architecture, ... Using Rust, Z3, OCaml, Coq, ... he/him. Tweets are my own.
00
ansiwen@beta.birdsite.live安斯文
Official
ansiwen@beta.birdsite.live  [follow]
SW Engineer @ Red Hat & Nitrokey - Go, Ocaml, C++, Unikernel, Secure Systems, Samba-Batucada, Sailing, Paragliding, ... any/any
05
artfibre00@mastodon.cloudSlater Larson
artfibre00@mastodon.cloud  [follow]
https://mooc.elte.hu/eportfolios/891661/Home/High_Ten_Causes_To_Be_A_Casino_Supplier Discovering clothes that I utterly forgot I owned. Feeling really awkward. Unhealthy about these clothes too. In my journey to get additional into practical programming, I learn all of Actual World OCaml and
00
astarasikov@beta.birdsite.liveAlexander Tarasikov
Official
astarasikov@beta.birdsite.live  [follow]
Life, programming and electronics. *NIX,ARM,OS kernel,DSP,OpenGL,OCaml. Dream of working on GPU driver/HW or CV!Doing embedded security at a mobile CPU vendor.
00
astarasikov@birdbots.leptonics.comAlexander Tarasikov
Official
astarasikov@birdbots.leptonics.com  [follow]
Life, programming and electronics. *NIX,ARM,OS kernel,DSP,OpenGL,OCaml. Dream of working on GPU driver/HW or CV!Doing embedded security at a mobile CPU vendor.
00
astarasikov@birdsite.mastodon.me.ukAlexander Tarasikov
Official
astarasikov@birdsite.mastodon.me.uk  [follow]
Life, programming and electronics. *NIX,ARM,OS kernel,DSP,OpenGL,OCaml. Dream of working on GPU driver/HW or CV!Doing embedded security at a mobile CPU vendor.
02
astarasikov@birdsite.nytpu.comAlexander Tarasikov
Official
astarasikov@birdsite.nytpu.com  [follow]
Life, programming and electronics. *NIX,ARM,OS kernel,DSP,OpenGL,OCaml. Dream of working on GPU driver/HW or CV!Doing embedded security at a mobile CPU vendor.
01
astarasikov@birdsite.thorlaksson.comAlexander Tarasikov
Official
astarasikov@birdsite.thorlaksson.com  [follow]
Life, programming and electronics. *NIX,ARM,OS kernel,DSP,OpenGL,OCaml. Dream of working on GPU driver/HW or CV!Doing embedded security at a mobile CPU vendor.
00
bhurt42@beta.birdsite.liveBrian Hurt
Official
bhurt42@beta.birdsite.live  [follow]
Ocaml/Haskell programmer, liberal, geek
00
dom_torr@beta.birdsite.liveドムトル 🍞🌹🏴🚩
Official
dom_torr@beta.birdsite.live  [follow]
.Net Software Engineer. Technology enthusiast. Compulsive learner. Functional programming nerd. Love F#, OCaml, Haskell and Rust. Learning Japanese.
00
dysinger@beta.birdsite.liveO_@
Official
dysinger@beta.birdsite.live  [follow]
Work: #haskell #ocaml #rustlang #nix #unikernel #cloud Interest: #liberty #homesteading #bushplanes #hamradio #guns Bump-In-The-Night Enthusiast
01
dysinger@birdsite.wilde.cloudO_@
Official
dysinger@birdsite.wilde.cloud  [follow]
Work: #haskell #ocaml #rustlang #nix #unikernel Interest: #liberty #homesteading #bushplanes #hamradio #guns Bump-In-The-Night Enthusiast
01
etrotign@birdsite.nytpu.cometrotign
Official
etrotign@birdsite.nytpu.com  [follow]
OCaml lover 🇺🇦
01
goulvenclech@beta.birdsite.liveNev
Official
goulvenclech@beta.birdsite.live  [follow]
Dev #Elixir #Erlang #OCaml dans l'immobilier | Co-fondateur @GameDevAlliance | Militant @_MJCF @PCF @Progressistes21
01
h4nnes@birdsite.slashdev.spaceHannes
Official
h4nnes@birdsite.slashdev.space  [follow]
hacker #OCaml #MirageOS http://robur.coop
028
javierwchavarri@beta.birdsite.liveJavier Chávarri
Official
javierwchavarri@beta.birdsite.live  [follow]
Frontend @ahrefs • Previously @webflow • Passionate about The Web, JavaScript, and now OCaml 🐫.
00
jlouis666@birdsite.slashdev.spaceJesper L. Andersen
Official
jlouis666@birdsite.slashdev.space  [follow]
CS hacker, researcher, and investigator. Erlang, Ocaml, Haskell, Go. Loves concurrency, distribution, type theory, semantics, model checking, formal methods.
00
jonatack@octodon.social*
jonatack@octodon.social  [follow]
Founder|Hacker|Surfer. INSEAD, Harvey Mudd. Wrote pro games in 6502 Assembly as a kid (Quasimodo, Meteor Storm). Assembly Lisp C/C++ Ruby OCaml/SML. Bitcoin.
00
keleshev@beta.birdsite.liveVladimir Keleshev
Official
keleshev@beta.birdsite.live  [follow]
OCaml programmer. Author of Compiling to Assembly from Scratch: http://keleshev.com/cas
00
kit_ty_kate@beta.birdsite.liveKate 🐫🏴🚩🏳️‍🌈
Official
kit_ty_kate@beta.birdsite.live  [follow]
OCaml ecosystem upgrader/opam/CI dev for @ocamllabs and ocaml-sf · Anarchist Communist · FR/EN/DE · (PP: modified art from @chomado)
01
kit_ty_kate@birdsite.slashdev.spaceKate 🐫🏴🚩🏳️‍🌈
Official
kit_ty_kate@birdsite.slashdev.space  [follow]
OCaml ecosystem upgrader/opam/CI dev for @ocamllabs and ocaml-sf · Anarchist Communist · FR/EN/DE · (PP: modified art from @chomado)
01
learlyman@birdsite.nytpu.comSalearlyman
Official
learlyman@birdsite.nytpu.com  [follow]
Wannabe PLT enthusiast. Pretend to know OCaml, Haskell and Scala. Allergic to math. Use python ironically. Use C# unironically. Confounder, FU Dietersheim. NB.
02
learlyman@birdsite.slashdev.spaceSalearlyman
Official
learlyman@birdsite.slashdev.space  [follow]
Wannabe PLT enthusiast. Pretend to know OCaml, Haskell and Scala. Allergic to math. Use python ironically. Use C# unironically. Confounder, FU Dietersheim.
00
learlyman@twtr.plusSalearlyman
nitter.poast.org, About twtr.plus
learlyman@twtr.plus  [follow]
Wannabe PLT enthusiast. Pretend to know OCaml, Haskell and Scala. Allergic to math. Use python ironically. Use C# unironically. Confounder, FU Dietersheim. NB. Twitter=twitter.com/learlyman
02
maarek_j@t.digor.shJoseph Maarek
Official
maarek_j@t.digor.sh  [follow]
Développeur FuLl-StAcK.Intéressé par React et ReasonML (ocaml).J'adore l'étude de Torah.J'aime ma femme et mes enfants.
01
marcelloseri@beta.birdsite.liveMarcello Seri
Official
marcelloseri@beta.birdsite.live  [follow]
Maths, lambdas and rock'n'roll. Assistant Professor at @BernoulliInsti2. Member of @YAGroningen. OCaml enthusiast. Tweets are my own
00
ocaml@noc.socialocaml
ocaml@noc.social  [follow]
Host of Crypt*nix on Callin for iOS ☎️
01
oliviernicole1@twtr.plusOlivier Nicole
nitter.poast.org, About twtr.plus
oliviernicole1@twtr.plus  [follow]
Working @tarides_ on the OCaml language. ❤️ Typography Twitter=twitter.com/oliviernicole1
01
onlyabdullah@fosstodon.orgAbdullah Elsayed
onlyabdullah@fosstodon.org  [follow]
MEng in Comp Sci & SW Eng 👨‍💻. Interested in programming languages and currently building my own programming language using OCaml 🐪. I’m also a full-stack developer with experience in JS, React and Python.
00
overminddl1@birdsite.nytpu.comOvermindDL1
Official
overminddl1@birdsite.nytpu.com  [follow]
Programmer of C++, Rust, OCaml, Erlang, Elixir, Python, Java, etc...(One/They/Them)
01
prateek@qoto.orgPrateek Khandelwal
prateek@qoto.org  [follow]
Software Engineer, Formal Methods, OCaml, C++
00
prettyunsound@birdsite.slashdev.spaceEngil
Official
prettyunsound@birdsite.slashdev.space  [follow]
Software Debugger.I do open heart surgery on OCaml for a living.He/Him, They/Them.
00
reasonml@beta.birdsite.liveReason
Official
reasonml@beta.birdsite.live  [follow]
Syntax & toolchain for OCaml
00
strlen@noc.socialstrlen
strlen@noc.social  [follow]
Systems, distributed systems, databases, programming languages. rust, C, C++, OCaml, Scala
00
superherointj@mastodon.socialsuperherointj
superherointj@mastodon.social  [follow]
Amateur programmer. Likes OCaml, NixOS.Loves freedom.
00
tarides_@beta.birdsite.liveTarides
Official
tarides_@beta.birdsite.live  [follow]
#MirageOS #Irmin #OCaml
00
tarides_@birdsite.slashdev.spaceTarides
Official
tarides_@birdsite.slashdev.space  [follow]
#MirageOS #Irmin #OCaml
00
thompson_si@beta.birdsite.liveSimon Thompson
Official
thompson_si@beta.birdsite.live  [follow]
Functional programmer in Haskell, Erlang and OCaml. Team Lead for Marlowe at IOHK, computer science researcher at University of Kent, UK, and ELTE, Budapest.
00
yminsky@birdsite.britaliope.frYaron (Ron) Minsky
Official
yminsky@birdsite.britaliope.fr  [follow]
Occasional OCaml programmer. Host of @signalsthreads.
00
back