Popular repositories Loading

1. watcher watcher Public

   Watches the changes in the file system, variables and data records

   Lua 1

2. mesh-transformer-jax mesh-transformer-jax Public

   Forked from kingoflolz/mesh-transformer-jax

   Model parallel transformers in JAX and Haiku

   Python 1

3. rango rango Public

   Formally verified monad of range

   Haskell

4. liquidhaskell liquidhaskell Public

   Forked from ucsd-progsys/liquidhaskell

   Liquid Types For Haskell

   Haskell

5. wells wells Public

   The State Machine And Time Machine for Smart Contracts

   Haskell

6. sru sru Public

   SRU Public License