logo FEDIDEVS

Discover 13282 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.

header
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,739 733 2 months ago

header
HoldMyType- main :: [Response]

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

6,308 436 3 weeks, 6 days ago

header
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

646 263 3 days, 18 hours ago

header
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

61 199 3 weeks ago

header
Marcus Rohrmoser 🌻

Builds the social web typewriter Seppo.Social with 🐫 OCaml.org with grant NLnet.nl/project/Seppo.

Former JEE and iOS developer, past 🌳 tree planter. Occasional lightning talker mro.name/talks. Netizen since the mid 90ies. SIGCHI.org, CCC.de, FIfF.de, NOYB.eu, Blaetter.de.

Likes 😈 mro.name/FreeBSD-XFCE 🐁 and 🏔️ AlpineLinux.org.

. via tootfinder.ch

ocaml OCaml linux Linux

414 181 1 month, 3 weeks ago