bellissimogiorno

Pinned Repositories

cairo-integer-types
A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
Language:Python29 2 01
cairotest
A test suite for Cairo based on PyTest and Hypothesis
Language:Python6 1 01
contracts
The Consumer Contract Wallet
Language:Go1 1 00
coq-blog
A blog about Coq
Language:HTML0 1 00
data-validation-submission
The submission version of the project without confidential information
Language:HTML0 1 00
F21DG.Visualisation
Language:JavaScript0 1 00
hobbes
A language and an embedded JIT compiler
Language:C0 1 00
nominal
Haskell implementation of nominal datatypes and functions
Language:Haskell39 5 08
plex
The package of IBM’s typeface, IBM Plex.
Language:CSS0 1 00
input-remapper
🎮 ⌨ An easy to use tool to change the behaviour of your input devices.
Language:Python4.1k 31 657165

bellissimogiorno's Repositories

bellissimogiorno/nominal
Haskell implementation of nominal datatypes and functions
Language:Haskell39 5 08
bellissimogiorno/cairo-integer-types
A library for bitwise integer types (e.g. int64 or uint32) in Cairo, with a test suite
Language:Python29 2 01
bellissimogiorno/cairotest
A test suite for Cairo based on PyTest and Hypothesis
Language:Python6 1 01
bellissimogiorno/contracts
The Consumer Contract Wallet
Language:Go1 1 00
bellissimogiorno/coq-blog
A blog about Coq
Language:HTML0 1 00
bellissimogiorno/data-validation-submission
The submission version of the project without confidential information
Language:HTML0 1 00
bellissimogiorno/F21DG.Visualisation
Language:JavaScript0 1 00
bellissimogiorno/hobbes
A language and an embedded JIT compiler
Language:C0 1 00
bellissimogiorno/plex
The package of IBM’s typeface, IBM Plex.
Language:CSS0 1 00