Popular repositories Loading

1. nominal nominal Public

   Haskell implementation of nominal datatypes and functions

   Haskell 39 8

2. cairo-integer-types cairo-integer-types Public

   A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite

   Python 29 1

3. cairotest cairotest Public

   A test suite for Cairo based on PyTest and Hypothesis

   Python 6 1

4. contracts contracts Public

   Forked from tokencard/contracts

   The Consumer Contract Wallet

   Go 1

5. hobbes hobbes Public

   Forked from morganstanley/hobbes

   A language and an embedded JIT compiler

   C

6. data-validation-submission data-validation-submission Public

   Forked from geometrygeeks/data-validation-submission

   The submission version of the project without confidential information

   HTML