nevillegrech/preemptive-type-checking nevillegrech/preemptive-type-checking

  • Stars
    star
    2
  • Language
    Python
  • License
    GNU General Publi...
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
nevillegrech/preemptive-type-checking
github

nevillegrech

Reviews

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

Repository Details

Preemptive type checking implementation for a subset of the cpython 3.3 python implementation

More Repositories

1

gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
HTML
272
star
2

MadMax

Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities
125
star
3

llvm-energy

Static energy consumption for LLVM IR
Python
2
star