Hi, this is wldhx
. I am transitioning
from networks R&D to PLV research.
wldhx/kotperffuzz
slides: Performance fuzzing the
Kotlin compiler with JQF (AFL-Java), incomplete notes.fourmolu/fourmolu#129
:
A golden tests generator for a Haskell formatter.kocherga/mm-dating-matcher-minizn
:
A discrete optimisation model for mastermind dating in MiniZinc.wldhx/plfa
:
Nix-enabled PLFA.wldhx/fp-course
:
Forks data61’s fp-course for a workshop.goto-ru
wldhx/gnunet-hs
:
Build GNUnet applications from the well-typed concurrent comfort of your
Haskell.equalitie/ouinet
:
Distributed web cache for censorship circumvention.goto-ru/chain
:
A scholarship management platform built on blockchain.kostava44/whohome
:
Fetches connected STAs from APs via Telnet.wldhx/ch-timestamping
:
P2P GSet-based timestamping service build on Cloud Haskell and featuring
JSON-RPC.wldhx/libp2p-hs
:
Like gnunet-hs
, but for go-libp2p
.wldhx/testground
:
Libp2p testground for Haskell.wldhx/runfw
:
Initialize virtio-net
with Rust in a Firecracker VM.wldhx/git-send-telegram
:
Like git-send-email
, but for 2023.wldhx/crm
:
Make a Telegram folder for those you’d like to keep in touch with and
the tool will pin k
people you didn’t talk with for
n
days every day. Or automatically send them a “heya”.wldhx/persist-presence
:
Turns your Telegram avatar into a UTC clock, with the presence status
for a seconds indicator.wldhx/yadisk-direct
:
Get real direct links usable with tools like curl or wget for files
stored in Yandex.Disk.wldhx/gitlab-ci-android
:
Build Docker images for Android CI with GitLab CI and store them in GL
Container Registry.Other stuff: