Pinned Loading

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

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

   Python 486 137

2. MentisOculi MentisOculi Public

   A raytracer written in PyTorch (raynet?)

   Python 244 19

3. eth-sri/diffai eth-sri/diffai Public

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

   Python 221 26

4. caledon caledon Public

   higher order dependently typed logic programing

   Haskell 174 9

5. ImperativeHaskell ImperativeHaskell Public

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

   Haskell 74 3

6. conpig conpig Public

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

   Python 108 4