6 awesome OCaml accounts on Mastodon that posted recently.
HoldMyType
@xameer@mathstodon.xyzgit log -p -- @xameer
> Intrinsic proofs require work, for Extrinsic proofs there s Curry Howard correspondence
pedantic noob
all content CC BY-SA 4.0
#nobot #nobridge #noai
send messages , not metadata
> https://.sr.ht/~carnotweat/deltanix
#rust #nix , bits of #haskell #ocaml
Marcello Seri
@mseri@mathstodon.xyzMaths, lambdas and rock'n'roll. Mathematical physicists, associate professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own
dougfort
@dougfort@mastodon.socialprogrammer.
Interested in augmentation
Ocaml
Haskell
Racket
rini ☁️
@rini@wetdry.worldi make cool stuff!!
#1 systemd/Linux fan · web developer in denial · recovering Rust developer · also Haskell, OCaml & C99 nerd
follow @ap.brid.gy if you're on bluesky!
jailandrade
@jailandrade@mastodon.socialSoftware Developer, currently creating themes and templates for websites to sell and share my journey as entrepreneur
I'm interested in moving the web forward, so I read and share a lot about #HTML, #CSS, #SVG, #XML, #JS, #WebDev, and #WebDesign,
very interested in #functionalprogramming languages like #haskell, #clojure, #elixir, #ocaml and #elm.
I'm a #indiedev, #indieweb believer, #indiehacker and #buildinginpublic advocate
Let's create the web we want today
Aravind I M (AIM)
@aravindim@mastodon.social(he/him) SDE
I ♡ to build.
Debian Contributor.
C, Rust, Go, Haskell, Ocaml.
Born to do System Programming, Fullstack dev by Profession