Pinned Loading

1. MentisOculi MentisOculi Public

   A raytracer written in PyTorch (raynet?)

   Python 245 19

2. eth-sri/diffai eth-sri/diffai Public

   A certifiable defense against adversarial examples by training neural networks to be provably robust

   Python 220 25

3. caledon caledon Public

   higher order dependently typed logic programing

   Haskell 174 9

4. ImperativeHaskell ImperativeHaskell Public

   Proof that Haskell can look and act like an imperative language.

   Haskell 74 3

5. conpig conpig Public

   A green threading library with automated concurrency for python based on a processes, signal handlers and greenlets

   Python 108 4

6. anarchy-ai/LLM-VM anarchy-ai/LLM-VM Public

   irresponsible innovation. Try now at https://chat.dev/

   Python 491 137