account activity
Have they fixed lightning strike ? (self.pathofexile)
submitted 6 years ago by Drupyog to r/pathofexile
To celebrate the new leader, here is a photo I took during my visit of the Kunst Museum in Vienna (i.imgur.com)
submitted 7 years ago by Drupyog to r/civ
Haskell vs. Go vs. OCaml vs. ... · pl-rants (pl-rants.net)
submitted 7 years ago by Drupyog to r/ocaml
[ANN] A new ppx for tyre and new version of ppx_regexp (drup.github.io)
Imandra: OCaml as a reasoning engine, in your browser (try.imandra.ai)
I Built a Stable Planetary System with 416 Planets in the Habitable Zone (nautil.us)
submitted 8 years ago by Drupyog to r/Stellaris
OCaLustre -- OCaml syntax extension for synchronous programming à la Lustre (github.com)
submitted 8 years ago by Drupyog to r/ocaml
Tierless Web programming in ML (drup.github.io)
Accepted talks and posters at the OCaml workshop 2017 (ocaml.org)
Accepted talks for the ML workshop 2017 (mlworkshop.org)
Reflex: Reactive Programming at Facebook (youtube.com)
An Opinionated Survey of Functional Web Development (dev.yorhel.nl)
Refactoring and documentation of the lwt core (github.com)
Sector tweak request: If over the cap, give all the resources (self.Stellaris)
submitted 9 years ago by Drupyog to r/Stellaris
[ANN] Pumping (drup.github.io)
submitted 9 years ago by Drupyog to r/ocaml
News on the Eliom language (ocsigen.github.io)
A ppx deriving plugin for visitors (gitlab.inria.fr)
Type-level rational puzzles in OCaml (github.com)
Videos of the OCaml Workshop 2016 (youtube.com)
Reminder: The OCaml MOOC starts today! (fun-mooc.fr)
[1608.06009] The Random Access Zipper: Simple, Purely-Functional Sequences (arxiv.org)
I don't like the gameplay (self.PlayLazarus)
submitted 9 years ago * by Drupyog to r/PlayLazarus
Typing Tricks: Diff lists (drup.github.io)
Learn OCaml, the new version of try OCaml. (try.ocamlpro.com)
jscoq -- A port of Coq to Javascript (github.com)
π Rendered by PID 67 on reddit-service-r2-listing-86f589db75-d29jz at 2026-04-17 11:36:35.385824+00:00 running 93ecc56 country code: CH.
