Pinned Loading

1. fhe-regex fhe-regex Public

   A regex engine for encrypted content (resulting in an encrypted answer)

   Rust 2

2. SCRIPTAnalyser SCRIPTAnalyser Public

   Symbolic verification of Bitcoin's output scripts

   Haskell 5

3. tzConnectBerlin/que-pasa tzConnectBerlin/que-pasa Public

   Indexer for specific contracts

   Rust 24 10

4. tzConnectBerlin/rust-pg_bigdecimal tzConnectBerlin/rust-pg_bigdecimal Public

   A Rust native datatype for Postgres' Numeric type, to be used with Rust's "Postgres" library.

   Rust 7 4

5. nix-recipes nix-recipes Public

   Nix 3

6. FPSheet FPSheet Public

   FPSheet: A Spreadsheet program with Haskell as the scripting language

   Haskell 95 3