Pinned Loading

1. input-output-hk/antigen input-output-hk/antigen Public

   Negatable QuickCheck generators

   Haskell

2. hafar hafar Public

   Affine arithmetic library for Haskell

   Haskell 1

3. linear-free linear-free Public

   Linear free monads

   Haskell 2

4. fractalvr fractalvr Public

   Real-time fractal renderer for VR devices.

   C++ 1 1

5. fs191/secure-logic-programming fs191/secure-logic-programming Public

   In this project we develop a compiler from Datalog-like language to a privacy-preserving application (based on Sharemind)

   Haskell

6. orders-of-magnitude orders-of-magnitude Public

   HTML