Pinned Loading

1. wasm-verify wasm-verify Public

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

   Haskell 9

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 109 17

4. my-nix-config my-nix-config Public

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

   Shell 1

5. advent-of-code-2025 advent-of-code-2025 Public

   Advent of Code 2025 (incomplete) exercise solutions in Lean!

   Lean

6. boss-tries boss-tries Public

   Toy project app that allows you to keep track of how many tries you take with bossfights.

   TypeScript