hajduakos

followers

following

stars

@Facebook

United Kingdom

hajduakos.github.io

@himynameisakos

Organizations

ftsrg

SRI-CSL

Akos Hajdu's starred repositories

dotslash

Simplified executable deployment

Language:RustApache-2.053000

staticmap

A small, python-based library for creating map images with lines, markers and polygons.

Language:PythonNOASSERTION27300

derive

Generate personal heatmap from GPX/TCX/FIT/IGC data

Language:JavaScriptMIT47200

eqwalizer

A type-checker for Erlang

Language:ScalaApache-2.050000

erlang_ls

The Erlang Language Server

Language:ErlangApache-2.061300

infer

A static analyzer for Java, C, C++, and Objective-C

Language:OCamlMIT1476600

cpachecker

CPAchecker, the Configurable Software-Verification Platform (read-only mirror)

Language:JavaApache-2.021800

sv-witnesses

An Exchange Format for Verification Witnesses (MOVED, please follow the link)

Language:PythonApache-2.01800

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

Language:PythonApache-2.021300

klee

KLEE Symbolic Execution Engine

Language:C++NOASSERTION248500

solidity-semantics-tests

Verification tests for solidity semantics

Language:Shell300

gamma

An Eclipse-based modeling framework for the component-based design and analysis of reactive systems

Language:Xtend3000

docker-images

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Language:PythonMIT3800

remix

This has been moved to https://github.com/ethereum/remix-project

Language:JavaScriptMIT117600

truffle

:warning: The Truffle Suite is being sunset. For information on ongoing support, migration options and FAQs, visit the Consensys blog. Thank you for all the support over the years.

Language:TypeScriptMIT1401800

vscode-solidity

Visual Studio Code language support extension for Solidity smart contracts in Ethereum https://marketplace.visualstudio.com/items?itemName=JuanBlanco.solidity

Language:TypeScriptMIT86800

solidity-latex-highlighting

Include nice-looking Solidity examples into LaTeX files

Language:TeXMIT10900

sonar-python

:snake: SonarQube Python plugin

Language:JavaLGPL-3.022600

ultimate

The Ultimate program analysis framework.

Language:Java18500

dafny

Dafny is a verification-aware programming language

Language:C#NOASSERTION282500

gazer

An LLVM-based formal verification frontend for C programs.

Language:C++2200

solidity

Solidity, the Smart Contract Programming Language

Language:C++GPL-3.02256200

theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

Language:JavaApache-2.04500

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

GPL-3.031300

solidity

This is solc-verify, a modular verifier for Solidity.

Language:C++GPL-3.05100

openzeppelin-contracts

OpenZeppelin Contracts is a library for secure smart contract development.

Language:JavaScriptMIT2433400

dataviz

A book covering the fundamentals of data visualization

Language:HTMLNOASSERTION310400

practical-fm

A gently curated list of companies using verification formal methods in industry

sally

A model checker for infinite-state systems.

Language:C++GPL-2.06900

PVS

The People's Verification System

Language:Common LispGPL-2.012800