Pinned Repositories
cairo-integer-types
A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
cairotest
A test suite for Cairo based on PyTest and Hypothesis
contracts
The Consumer Contract Wallet
coq-blog
A blog about Coq
data-validation-submission
The submission version of the project without confidential information
F21DG.Visualisation
hobbes
A language and an embedded JIT compiler
nominal
Haskell implementation of nominal datatypes and functions
plex
The package of IBM’s typeface, IBM Plex.
bellissimogiorno's Repositories
bellissimogiorno/nominal
Haskell implementation of nominal datatypes and functions
bellissimogiorno/cairo-integer-types
A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
bellissimogiorno/cairotest
A test suite for Cairo based on PyTest and Hypothesis
bellissimogiorno/contracts
The Consumer Contract Wallet
bellissimogiorno/coq-blog
A blog about Coq
bellissimogiorno/data-validation-submission
The submission version of the project without confidential information
bellissimogiorno/F21DG.Visualisation
bellissimogiorno/hobbes
A language and an embedded JIT compiler
bellissimogiorno/plex
The package of IBM’s typeface, IBM Plex.