hellwolf/certora.nix hellwolf/certora.nix

  • Stars
    star
    1
  • Language
    Solidity
  • License
    MIT License
  • Created over 1 year ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hellwolf/certora.nix
github

hellwolf

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Development tooling for Certora Prover.

More Repositories

1

popsicle-exploit

Using various tools to rediscover popsicle exploit
Solidity
15
star
2

solc.nix

Providing assorted versions of solidity compilers (solc).
Nix
15
star
3

yul-dsl-monorepo

The monorepo of YulDSL, a DSL for Solidity/Yul, and a programming frontend Yolc.
Haskell
7
star
4

haskell-examples

Haskell
5
star
5

mk-cache-key.nix

A nix expression to make cache keys for "half board" nix projects.
Shell
5
star
6

quickhiring-sol

An on-chain programming contest framework for discovering solidity developers.
Solidity
3
star
7

.vim

Hellwolf's dot vim configuration
Vim Script
2
star
8

hw.disassembler

Hellwolf's disassembler using gcc.
Perl
1
star
9

real-estate-investment-utils

Personal realestate investment utilities.
Python
1
star
10

twilio-runtime-utils

Utilities for developing twilio runtime based applications Edit
JavaScript
1
star