• 🔭 I’m currently dabbling with methods of verifying distributed systems implementations in real-world engineering settings. Sounds interesting? Reach out!

• 👨‍💻 All of my projects are available athttps://github.com/NicolasT

• 📝 I regularly write articles onhttps://nicolast.be

• 💬 Ask me aboutDistributed Systems, Haskell and Kubernetes

• 📫 How to reach meikke@nicolast.be

• 📄 Know about my experienceshttps://www.linkedin.com/in/nicolastrangez/

• ⚡ Fun factI play the 🎻

PinnedLoading

1. kontikikontikiPublic

   An implementation of the Raft consensus protocol

   Haskell 121 15

2. static-container-registrystatic-container-registryPublic

   Tools to construct a read-only container 'registry' served by plain Nginx

   Shell 74 4

3. reedsolomonreedsolomonPublic

   Forked fromklauspost/reedsolomon

   Reed-Solomon Erasure Coding in Haskell

   Haskell 23 2

4. python-scarvingpython-scarvingPublic

   Original seam carving implementation in Python

   Python 7 1

5. landlock-hslandlock-hsPublic

   Haskell bindings for the Linux Landlock API

   Haskell 8

6. troupetroupePublic

   Haskell Actors

   Haskell 25 3