jubnzv

followers

following

stars

@paritytech

Montevideo

https://idie.ru

Organizations

llvm

paritytech

remacs

Georgiy Komarov's starred repositories

quickcheck

Automated property based testing for Rust (with shrinking).

Language:RustUnlicense2282 19 142

kani

Kani Rust Verifier

Language:RustApache-2.01975 22 1534

loom

Concurrency permutation testing tool for Rust.

Language:RustMIT1917 31 116

drgn

Programmable debugger

Language:PythonNOASSERTION1664 35 165

proptest

Hypothesis-like property testing for Rust

Language:RustApache-2.01596 20 241

Web3Bugs

Demystifying Exploitable Bugs in Smart Contracts

Language:Solidity1430 31 20

MIRAI

Rust mid-level IR Abstract Interpreter

Language:RustMIT969 22 126

halmos

A symbolic testing tool for EVM smart contracts

Language:PythonAGPL-3.0709 10 94

pyrometer

A tool for analyzing the security and parameters of a solidity smart contract

Language:RustGPL-3.0639 19 48

quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Language:TypeScriptApache-2.0594 22 667

tendermint-rs

Client libraries for Tendermint/CometBFT in Rust!

Language:RustApache-2.0584 31 560

cargo-mutants

:zombie: Inject bugs and see if your tests catch them!

Language:RustMIT454 5 163

act

Smart contract specification language

Language:HaskellAGPL-3.0216 12 71

hevm

symbolic EVM evaluator

Language:HaskellAGPL-3.0216 10 138

ocaml5-tutorial

A hands-on tutorial on the new parallelism features in OCaml 5

Language:OCamlMIT185 7 3

marlowe

Prototype implementation of domain-specific language for the design of smart-contracts over cryptocurrencies

Language:IsabelleApache-2.0171 35 73

Fault

a language for building system dynamic models

Language:GoMIT163 7 7

caracal

Static Analyzer for Starknet smart contracts

Language:CairoAGPL-3.0124 4 13

afl-compiler-fuzzer

Variation of american fuzzy lop for testing compilers

Language:CApache-2.0110 2 4

cmm_of_wasm

A compiler from WebAssembly to native code, via the OCaml backend.

Language:OCamlMIT88 7 56

wasm_runtimes_fuzzing

Improving security and resilience of WebAssembly VMs/runtimes/parsers using fuzzing

Language:RustApache-2.081 3 1

veriwasm

SFI verifier of Wasm binaries

Language:RustNOASSERTION78 13 6

horus-checker

Horus, a formal verification tool for StarkNet smart contracts.

Language:HaskellNOASSERTION65 7 15

efcf-framework

EF/CF - Extremely Fast smart Contract Fuzzing

Language:SolidityNOASSERTION60 10 4

GrayC

GrayC: Greybox Fuzzing of Compilers and Analysers for C

Language:C++46 5 2

ebso

EVM Bytecode Super Optimizer

Language:OCamlApache-2.03600

comby-decomposer

Decompose source code into templates and fragments for any language.

Language:JavaScriptApache-2.020 1 2

veriwasm-verification

Coq proof for Veriwasm

Language:CoqMIT9 170

smart-contract-validation

Validating Smart Contracts with Lightweight Formal Methods

Language:Alloy500

petrushkaGPT

This project integrates ChatGPT, an OpenAI language model, with a Telegram bot in Node.js. It enables the bot to accept text or voice prompts from users and generate responses using the ChatGPT model.

Language:JavaScript300