Pinned

1. bibli-paris Public

   Spacemacs layer adding functionalities to org-mode to manage reading lists of documents from Paris' network of libraries.

   Emacs Lisp

2. venv-manager Public

   Manage virtual environments using modular nix shells.

   Nix

3. tweag/smtlib-backends Public

   A Haskell library providing low-level functions for SMTLIB-based interaction with SMT solvers.

   Haskell 12