Arnaud Spiwack's repositories
peppermint-prover
Experimental proof assistant (and architecture) for dependent linear logic
haskell-benign
A library for benign effects in Haskell
randomizer-engine
generic, declarative randomizer engine which draws shuffles uniformely
haskell-ann
Haskell library for nformative annotations which don't change equality
dissection-of-l
A dissection of L: article about focalised sequent calculus and dependent types
cadence-of-hyrule
Cadence of Hyrule technical sheets
counterexamples
Counterexamples in Type Systems
doom-modeline
A fancy and fast mode-line inspired by minimalism design.
dotfiles
My home configuration, controled by home-manager
emacs-application-framework
Emacs application framework
emacs-overlay
Bleeding edge emacs overlay [maintainer=@adisbladis]
gatsbyjs-notes
Trying gatsbyjs & some of my speedrunning notes customized
ghc-dev-tools
Tools for the ghc developper
hegg
Fast equality saturation in Haskell
obs-livesplit-one
A plugin for OBS Studio that allows adding LiveSplit One as a source.
ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
prometheus-haskell
Haskell client library for exposing prometheus.io metrics.
reflection
Reifies arbitrary Haskell terms into types that can be reflected back into terms
rules_purescript
PureScript rules for Bazel
stack-templates
Project templates for stack new
stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.