Discover 12104 superb devs from across the Fediverse

Frameworks, Libraries, and others
Select your Mastodon instance to make it easier to follow accounts below.

Select your Mastodon instance

Account links will use your instance making it easier to follow accounts that you open. This way you'll avoid the Follow Dialog for people on different instances.

Marshall Abrams

Philosopher of science and occasional scientist. Mainly philosophy of evolutionary biology, philosophy of probability, implications of modeling and statistical inference in evolutionary biology. New book, Evolution and the Machinery of Chance, 2023. Sometimes I write biological or social science simulations to investigate or illustrate philosophical or other theoretical ideas in biology or anthropology. (Favorite languages: Clojure, Idris (learning), OCaml, Haskell, NetLogo, R.)

haskell Haskell ocaml OCaml

1,744 729 3 weeks, 5 days ago

HoldMyType- main :: [Response]

:p lib.fixedPoints

On my desk functions are 1st class citizens
denotations of expressions may be functions from environments and stores to
expressible values-there is no need to return the current store, as it is unchanged.
overlay =A(e E Env, e' E Env). Ale EIde. [idov, AX E 0. e'(l)](e(I))
E Env xEnv --+Env
haskell fsf emacs ocaml

haskell Haskell ocaml OCaml

4,685 380 Less than a day ago

Marcello Seri

Maths, lambdas and rock'n'roll. Mathematical physicists, assistant professor at Bernoulli Institute. Member of YAGroningen. OCaml enthusiast. Tweets are my own

ocaml OCaml

565 226 1 day, 12 hours ago

Thomas Leonard

Programmer. Interests include: Free Software, OCaml, MirageOS unikernels, Nix, Wayland, Capability-based security, formal methods (TLA+, Coq).

ocaml OCaml nix Nix opensource Open Source

58 187 1 week ago

Felipe O. Carvalho

SWE @VoltronData / @ApacheArrow. Past: @Spotify. Databases/Compilers/DistSys. C++/OCaml/TLA+. 🇧🇷 → 🇸🇪 → 🌎

cpp C++ ocaml OCaml

51 147 1 month, 3 weeks ago