NicolasT
Cloud-native product builder, former Principal Architect @Scality. #Haskell'ist, music-lover and startup-minded.
.be & .uk
Pinned Repositories
kontiki
An implementation of the Raft consensus protocol
landlock-hs
Haskell bindings for the Linux Landlock API
ocaml-free
A 'free monad' library for OCaml
papers
A collection of papers found across the web
paxos
A Haskell library implementing several Paxos-related algorithms
python-scarving
Original seam carving implementation in Python
reedsolomon
Reed-Solomon Erasure Coding in Haskell
static-container-registry
Tools to construct a read-only container 'registry' served by plain Nginx
troupe
Haskell Actors
NicolasT's Repositories
NicolasT/kontiki
An implementation of the Raft consensus protocol
NicolasT/troupe
Haskell Actors
NicolasT/landlock-hs
Haskell bindings for the Linux Landlock API
NicolasT/panagia
An island close to Paxos
NicolasT/xinu
An experimental `unix` package for Haskell
NicolasT/nicolast.github.io
My blog
NicolasT/aligned-bigarray
An OCaml library to create and work with memory-aligned Bigarrays
NicolasT/atm-state-machine
atm-state-machine
NicolasT/cabal-doctest
A Setup.hs helper for doctest running
NicolasT/co-log
📓 Flexible and configurable modern #Haskell logging framework
NicolasT/cosi-driver-sample
A sample provisioner for COSI, the Container Object Storage Interface
NicolasT/dejafu
Systematic concurrency testing meets Haskell.
NicolasT/dhall-haskell
Maintainable configuration files
NicolasT/drama
🎭 Actor library for Haskell
NicolasT/fetch-metadata
Extract information about the dependencies being updated by a Dependabot-generated PR.
NicolasT/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
NicolasT/gptsum
A tool to make disk images using GPT partitions self-verifiable, like isomd5sum
NicolasT/hedgehog-stateful-demo
A demonstration of stateful systems testing using Hedgehog
NicolasT/lawful-classes
Classes with laws lead to more lawful instances
NicolasT/NicolasT
My GitHub profile
NicolasT/process
Library for dealing with system processes
NicolasT/psychopy
For running psychology and neuroscience experiments
NicolasT/reindexed
An experimental package for (Atkey-style) indexed monads
NicolasT/saltine
Cryptography that's easy to digest (NaCl/libsodium bindings)
NicolasT/spectacle
Embedded specification language & model checker in Haskell
NicolasT/stm-containers-concurrency
Containers for STM, , parametrized over MonadConc/MonadSTM
NicolasT/stm-hamt-concurrency
STM-specialised Hash Array Mapped Trie, parametrized over MonadConc/MonadSTM
NicolasT/test-on-kernel
Run a specific test on a specific Linux kernel build using Qemu
NicolasT/unix
POSIX functionality
NicolasT/wasmer
🚀 The leading WebAssembly Runtime supporting WASI and Emscripten