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.
Python 1 hr 54 mins █████████▉░░░░░░░░░░░ 47.3%
Nix 1 hr 4 mins █████▋░░░░░░░░░░░░░░░ 26.8%
YAML 30 mins ██▋░░░░░░░░░░░░░░░░░░ 12.7%
Other 15 mins █▎░░░░░░░░░░░░░░░░░░░ 6.3%
TeX 10 mins ▉░░░░░░░░░░░░░░░░░░░░ 4.2%
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.