Pinned Loading

1. wasm-verify wasm-verify Public

   A proof-of-concept formal verification tool for WebAssembly.

   Haskell 4

2. imdea-software/hs-to-ciao imdea-software/hs-to-ciao Public

   Source-to-source Haskell into Ciao Prolog for automatic resource analysis.

   Haskell 1 1

3. stackbuilders/hapistrano stackbuilders/hapistrano Public

   Deploy tool for Haskell applications, like Capistrano for Rails

   Haskell 103 17

4. boss-tries boss-tries Public

   App that allows you to keep track of how many tries you take with bossfights.

   TypeScript

5. my-emacs-config my-emacs-config Public

   My Emacs configuration file(s).

   Emacs Lisp

6. my-nix-config my-nix-config Public

   My NixOS config + my home-manager config with dotfiles.

   Shell 1