Théophile Choutri's starred repositories
neodev.nvim
💻 Neovim setup for init.lua and plugin development with full signature help, docs and completion for the nvim lua API.
haskell-tools.nvim
🦥 Supercharge your Haskell experience in neovim!
apply-refact
Refactor Haskell source files
unagi-chan
A haskell library implementing fast and scalable concurrent queues for x86, with a Chan-like API
hackage-diff
Compare the public API of different versions of a Hackage library
cabal-plan-bounds
Calculate Haskell dependency ranges from multiple build plans
tree-sitter-ghc-core
A tree-sitter grammar for GHC Core
servant-jsonrpc
Tools to build JSON-RPC clients and servers the Servant way
HsPaillier
Simple Paillier cryptosystem
eclair-rust-bindings
High level Rust bindings for Eclair Datalog
aegis-vaes
An AEGIS implementations for CPUs with VAES and AVX2.