Pinned Loading

1. keras-team/keras keras-team/keras Public

   Deep Learning for humans

   Python 64.3k 19.8k

2. Z3Prover/z3 Z3Prover/z3 Public

   The Z3 Theorem Prover

   C++ 12.6k 1.7k

3. plzwrk plzwrk Public

   A Haskell front-end framework

   Haskell 40 1

4. purescript-ocarina purescript-ocarina Public

   Web audio graphs as a stream

   PureScript 61 3

5. purescript-deku purescript-deku Public

   A PureScript web UI framework

   PureScript 156 12