Hey 🌸 I'm Shikanime Deva, I like to build correct by construction software λ and contribute to the civilization of the human species.
And some other days, I'm lazy... I think.
Hey 🌸 I'm Shikanime Deva, I like to build correct by construction software λ and contribute to the civilization of the human species.
And some other days, I'm lazy... I think.
Nix 1 hr 16 mins ██████████████▉░░░░░░ 71.2%
Markdown 21 mins ████░░░░░░░░░░░░░░░░░ 19.6%
Bash 3 mins ▋░░░░░░░░░░░░░░░░░░░░ 3.5%
Text 2 mins ▍░░░░░░░░░░░░░░░░░░░░ 2.3%
YAML 1 min ▎░░░░░░░░░░░░░░░░░░░░ 1.8%
Horde is a distributed Supervisor and Registry backed by DeltaCrdt
Celestial is a distributed MMORPG game server in Erlang/OTP, is a complete rewrite of the original ElvenGard project with ImNotAVirus.