Nicolas Trangez's starred repositories
write-you-a-haskell
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
HElib
HElib is an open-source software library that implements homomorphic encryption. It supports the BGV scheme with bootstrapping and the Approximate Number CKKS scheme. HElib also includes optimizations for efficient homomorphic evaluation, focusing on effective use of ciphertext packing techniques and on the Gentry-Halevi-Smart optimizations.
git-imerge
Incremental merge for git
type-systems
Implementations of various type systems in OCaml.
distributed-process
Cloud Haskell core library
audio-recognizer
Shazam in Java
keepalived-operator
An operator to manage VIPs backed by keepalived
structures
A playground for working on advanced data structures in Haskell
opentracing
OpenTracing (https://opentracing.io) for Haskell
git-review
Git extension for attaching code review flags and notes to commits.
haskell-opentracing
Haskell libraries for OpenTracing.io
vector-simd
Playground combining vector with SIMD intrinsics
OpenSchool
Open school project, using webRTC as underlying technology
kontiki-leveldb
A LevelDB Log For Kontiki