Pinned Loading

1. lsb3-logic-solver lsb3-logic-solver Public

   Weryfikator wyrażeń logiki LSB3 / LSB3 logic formula verification app

   Haskell 2

2. www-extractor www-extractor Public

   Extract data from HTML

   C++ 2

3. cardano-transaction-lib cardano-transaction-lib Public

   Forked from Plutonomicon/cardano-transaction-lib

   A Purescript library for building smart contract transactions on Cardano

   PureScript

4. osm-conduit osm-conduit Public

   Haskell

5. Plutonomicon/plutarch-plutus Plutonomicon/plutarch-plutus Public

   Typed eDSL for writing UPLC /ˈpluː.tɑːk/

   Haskell 133 67

6. restaumatic/purescript-specular restaumatic/purescript-specular Public

   A Reflex-Dom inspired UI library for PureScript

   PureScript 133 8