NicolasT

Nicolas Trangez's repositories

kontiki

An implementation of the Raft consensus protocol

Language:HaskellBSD-3-Clause122 16 14

troupe

Haskell Actors

Language:HaskellBSD-3-Clause2500

landlock-hs

Haskell bindings for the Linux Landlock API

Language:HaskellBSD-3-Clause8 4 3

panagia

An island close to Paxos

Language:HaskellGPL-3.07 2 7

xinu

An experimental `unix` package for Haskell

Language:HaskellBSD-3-Clause2 20

nicolast.github.io

My blog

Language:Haskell1 30

aligned-bigarray

An OCaml library to create and work with memory-aligned Bigarrays

BSD-3-Clause000

atm-state-machine

BSD-3-Clause000

cabal-doctest

A Setup.hs helper for doctest running

Language:HaskellBSD-3-Clause010

co-log

📓 Flexible and configurable modern #Haskell logging framework

MPL-2.0000

cosi-driver-sample

A sample provisioner for COSI, the Container Object Storage Interface

Language:GoApache-2.0010

dejafu

Systematic concurrency testing meets Haskell.

000

dhall-haskell

Maintainable configuration files

Language:DhallBSD-3-Clause010

drama

🎭 Actor library for Haskell

BSD-3-Clause000

fetch-metadata

Extract information about the dependencies being updated by a Dependabot-generated PR.

MIT000

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:Python010

gptsum

A tool to make disk images using GPT partitions self-verifiable, like isomd5sum

Language:PythonApache-2.0030

hedgehog-stateful-demo

A demonstration of stateful systems testing using Hedgehog

Language:HaskellGPL-3.0020

lawful-classes

Classes with laws lead to more lawful instances

Language:HaskellApache-2.002 1

NicolasT

My GitHub profile

GPL-3.0020

process

Library for dealing with system processes

Language:HaskellNOASSERTION010

psychopy

For running psychology and neuroscience experiments

Language:PythonGPL-3.0020

reindexed

An experimental package for (Atkey-style) indexed monads

Apache-2.0020

saltine

Cryptography that's easy to digest (NaCl/libsodium bindings)

Language:HaskellMIT010

spectacle

Embedded specification language & model checker in Haskell

Language:HaskellApache-2.0010

stm-containers-concurrency

Containers for STM, , parametrized over MonadConc/MonadSTM

Language:HaskellMIT010

stm-hamt-concurrency

STM-specialised Hash Array Mapped Trie, parametrized over MonadConc/MonadSTM

Language:HaskellMIT010

test-on-kernel

Run a specific test on a specific Linux kernel build using Qemu

Language:HaskellGPL-3.0020

unix

POSIX functionality

NOASSERTION000

wasmer

🚀 The leading WebAssembly Runtime supporting WASI and Emscripten

Language:RustMIT010