Arnaud Spiwack
aspiwack
Languages
Repos
68
Stars
122
Forks
7
Top Language
Haskell
Loading contributions...
Top Repositories
Experimental proof assistant (and architecture) for dependent linear logic
A library for benign effects in Haskell
A GHC plugin for rich, switchable assertions
A Coq library for extensional finite sets and comprehension
generic, declarative randomizer engine which draws shuffles uniformely
Balancing lists: a proof pearl
Repositories
68A library for benign effects in Haskell
No description provided.
Experimental proof assistant (and architecture) for dependent linear logic
A GHC plugin for rich, switchable assertions
My home configuration, controled by home-manager
Practice ROM for Paper Mario 64
No description provided.
Builds Doom Emacs using Nix
A dissection of L: article about focalised sequent calculus and dependent types
Tools for the ghc developper
A Coq library for extensional finite sets and comprehension
My unfinished and unpolished reflection on designing and implementing a tactic engine
No description provided.
generic, declarative randomizer engine which draws shuffles uniformely
Haskell library for nformative annotations which don't change equality
Fast equality saturation in Haskell
No description provided.
Project templates for stack new
A bunch of notebooks on stuff
Routes for video games
Haskell client library for exposing prometheus.io metrics.
Small implementation of Milner tactics for minimal logic
Balancing lists: a proof pearl
Emacs application framework
Markup language on top of Haskell
📚 Collaborative cheatsheets for console commands
Counterexamples in Type Systems
An implementation of hollow heaps in Ocaml
A plugin for OBS Studio that allows adding LiveSplit One as a source.
Trying gatsbyjs & some of my speedrunning notes customized