Stefanos Chaliasos

nanocodex. Building blocks for frontier OpenAI agents in Rust. Nanocodex empowers you with Codex-level performance anywhere.

claude-code-config. Opinionated defaults, documentation, and workflows for Claude Code at Trail of Bits

claude-code-best-practice. from vibe coding to agentic engineering - practice makes claude perfect

CCC-Check. Circom

stark-anatomy. Tutorial for STARKs with supporting code in python

llzk-lib. Library for parsing, generating, and analyzing LLZK code.

Academic_Smart_Contract_Papers. Academic Smart Contract Papers. Welcome developers or researchers to add more published papers to this list.

circuzz. Fuzzing processing pipelines for zero-knowledge circuits

zkevm-benchmark-workload. zkVM benchmarking for Ethereum

azoth. A deterministic EVM bytecode obfuscator written in Rust

awesome-zkvm. A curated list of zkVM, zero-knowledge virtual machine

zkarnage. Stress Testing ZK Systems Through Maximum Pain

zkvm-compiler-optimizations. HTML

protocol-security. TypeScript

halo2-course. A course on Halo2 in collaboration with Zircuit

Awesome-LLM4Cybersecurity. An overview of LLMs for cybersecurity.

zkbugs. Reproduce ZKP vulnerabilities

zk-languages. Introduction to various ZK languages

circ. (Cir)cuit (C)ompiler. Compiling high-level languages to circuits for SMT, zero-knowledge proofs, and more.

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

WTF-zk. 零知识证明入门教程。Comprehensive Zero-Knowledge Proofs Tutorial. #zk #WIP

solidity-sha256-lol. implement sha256 in solidity from scratch for no reason

bloat-study-artifact. Artifact of the paper accepted at FSE'24 titled: "Bloat beneath Python’s Scales: A Fine-Grained Inter-Project Dependency Analysis".

chimera. Smart Contract Property-Based Testing Framework

DeFiHackLabs. Reproduce DeFi hacked incidents using Foundry.

solidity-benchmarks. Benchmarks of popular contract implementations in solidity

proven-zk. A support library for working with zero knowledge cryptography in Lean 4.

thalia-popl-eval. Replication package for the POPL 2024 paper titled "API-driven Program Synthesis for Testing Static Typing Implementations".

thalia. A framework for testing compilers' type checkers

powdr. Performance and security acceleration for zkVMs.

evm_simulator_rs. CLI based transaction simulator supporting any EVM chain, written in Rust.

moonmath-manual. A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.

fuzzy-fyi. We help protocols improve their invariant tests

awesome-zkml. awesome-zkml repository

halo2_backend. Rust

zkalc. A web tool that helps you compare and visualize the performance of cryptographic operations

zkNotebook. My personal notebook for various zk-related topics

lambdaworks. lambdaworks offers implementations for both SNARKs and STARKs provers, along with the flexibility to leverage their individual components for constructing customized SNARKs.

building-secure-contracts. Guidelines and training material to write secure smart contracts

rustlings. :crab: Small exercises to get you used to reading and writing Rust code!

halo2-intro. Rust

zk-Harness. Benchmarking framework for general purpose zero-knowledge proofs languages and libraries

technical_notes. A collection of technical notes from the Geometry research team.

awesome-oracle-manipulation. Awesome list of all things oracle manipulation. Creating to help spread a better understanding of oracles and oracle manipulation.

zkevm-chain-testing. Python

atheris. Python

Blockchain-Security-Audit-List. A list of Blockchain Security audit companies, solo auditors and location of public audits.

Awesome-Smart-Contract-Security. A curated list of Smart Contract Security materials and resources For Researchers

Smart-Contract-Auditor-Tools-and-Techniques. This repo contains a comprehensive list of smart contract auditor tools and techniques that can be utilized by both smart contract auditors and blockchain developers for developing secure smart contracts

liquidhaskell. Liquid Types For Haskell

badcrypto. Learning Cryptography in Public

zkp-tests. Playing with zero-knowledge proof languages

alexandria3k. Fast relational access to openly-available publication data sets

ethereum-formal-verification-overview. The start page about my efforts around smart contract verification

isla. The ISLa (Input Specification Language) language & solver.

web3knowledge. A collection of links, research papers, tools, researchers, events, ... every web3 follower should know.

tx-fuzz. Go

tests. Common tests for all Ethereum implementations

deposit-sc-dafny. Deposit smart contract in Dafny

ethereum-developer-tools-list. A guide to available tools and platforms for developing on Ethereum.

opt-fuzz. llvm opt fuzzer and bounded exhaustive test generator

soltix. SOLTIX: Scalable automated framework for testing Solidity compilers.

solidity-blog. Collection of articles about the Solidity language and compiler

vertigo. Mutation Testing for Ethereum Smart Contracts

hephaestus-pldi-eval. Replication package for the PLDI 2022 paper titled "Finding Typing Compiler Bugs".

hephaestus. A framework for testing compilers' type checkers

evmlab. Utilities for interacting with the Ethereum virtual machine

python-solidity-parser. An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚

gcc-builtin-study. TeX

smartbugs. SmartBugs: A Framework to Analyze Ethereum Smart Contracts

KotlinFuzzer. Fuzzer for Kotlin compiler. Found > 65 unique bugs in kotlinc v1.1.4-3.

compile-testing. Testing tools for javac and annotation processors

Kotlin-Compiler-Crash-Course. A repository of helpful sources to figure out what the Kotlin compiler really is

murex. A smarter shell and scripting environment with advanced features designed for usability, safety and productivity (eg smarter DevOps tooling)

BenchmarkJava. OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST), Dynamic (DAST), and Runtime (IAST) tools that support Java. The idea is that since it is fully runnable and all the vulnerabilities are actually exploitable, it’s a fair test for any kind of vulnerability detection tool. For more details on this project, please see the OWASP Benchmark Project home page.

cynthia. Data-Oriented Differential Testing of ORM Systems.

kotlin-compile-testing. A library for testing Kotlin and Java annotation processors, compiler plugins and code generation

buildfs. A dynamic method for detecting faults in incremental and parallel builds.

TIP. Static program analysis for TIP

makefile-blog. A static blog website generator written in makefile with various tools.

fsmove. A command-line tool that detects missing ordering relationships and missing notifiers in Puppet programs.

steady. Analyses your Java applications for open-source dependencies with known vulnerabilities, using both static analysis and testing to determine code context and usage for greater accuracy. https://eclipse.github.io/steady/

spack. A flexible package manager that supports multiple versions, configurations, platforms, and compilers.

vuvuzela. Private messaging system that hides metadata

js-xss. Sanitize untrusted HTML (to prevent XSS) with a configuration specified by a Whitelist

cscout. C code refactoring browser

C-Cpp-Notes. Notes about modern C++, C++11, C++14 and C++17, Boost Libraries, ABI, foreign function interface and reference cards.

csmith. Csmith, a random generator of C programs

computer-science. 🎓 Path to a free self-taught education in Computer Science!

weld. High-performance runtime for data analytics applications

khal. :calendar: CLI calendar application

wtf. The personal information dashboard for your terminal

awesome-jq. A curated list of awesome jq tools and resources.

structured-text-tools. A list of command-line tools for manipulating structured text data

stack. A static checker for identifying unstable code.

ansible-server-setup. The repository for my blog post on Ansible + Nginx + Letsencrypt

lazydocker. The lazier way to manage everything docker

Made-With-ML. Learn how to develop, deploy and iterate on production-grade ML applications.

nyxt. Nyxt - the hacker's browser.

raspberry-pi-os. Learning operating system development using Linux kernel and Raspberry Pi

bandit. Bandit is a tool designed to find common security issues in Python code.

notes. Full-stack web development notes

vcsh. config manager based on Git

awesome-javascript. 🐢 A collection of awesome browser-side JavaScript libraries, resources and shiny things.

Computer-Science-Resources. Collection of resources spanning key areas of Computer Science

AwesomePerfCpp. A curated list of awesome C/C++ performance optimization resources: talks, articles, books, libraries, tools, sites, blogs. Inspired by awesome.

tmuxinator. Manage complex tmux sessions easily

You-Dont-Need-jQuery. Examples of how to do query, style, dom, ajax, event etc like jQuery with plain javascript.

RepoFS. Filesystem view of version control repositories

mypy. Optional static typing for Python

os-tutorial. How to create an OS from scratch

Awesome-Hacking. A collection of various awesome lists for hackers, pentesters and security researchers

miller. Miller is like awk, sed, cut, join, and sort for name-indexed data such as CSV, TSV, and tabular JSON

git-extra-commands. A collection of git utilities, useful extra git scripts, tutorials and other useful articles.

boden. Purely native C++ cross-platform GUI framework for Android and iOS development. https://www.boden.io

dotfiles. :wrench: .files, including ~/.macos — sensible hacker defaults for macOS

linuxify. 🍏🐧 Transparently transform the macOS CLI into a fresh GNU/Linux CLI experience.

xsv. A fast CSV command line toolkit written in Rust.

pandas-cookbook. Recipes for using Python's pandas library

pentest-wiki. PENTEST-WIKI is a free online security knowledge library for pentesters / researchers. If you have a good idea, please share it with others.

haxor-news. Browse Hacker News like a haxor: A Hacker News command line interface (CLI).

awesome-cryptography. A curated list of cryptography resources and links.

rebound. Instant Stack Overflow results whenever an exception is thrown

build-your-own-x. Master programming by recreating your favorite technologies from scratch.

security-research-pocs. Proof-of-concept codes created as part of security research done by Google Security Team.

libffpy. Cython wrapper for the libff library

learn-regex. Learn regex the easy way

pyt. A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications

cpplinks. A categorized list of C++ resources.

cython-cmake-example. Utilities and example for using CMake to build Cython modules - migrated to scikit-build

awesome-docker. :whale: A curated list of Docker resources and projects

AutoSploit. Automated Mass Exploiter

hacker101. Source code for Hacker101.com - a free online web and mobile security class.

ahmia. Ahmia hidden service search engine

awesome-c. Continuing the development of awesome-c list on GitHub

Awesome-Hacking-Resources. A collection of hacking / penetration testing resources to make you better!

Signal-Desktop. A private messenger for Windows, macOS, and Linux.

awesome-courses. :books: List of awesome university courses for learning Computer Science!

blockchain-papers. A curated list of academic blockchain-related papers

end-to-end. End-To-End is a crypto library to encrypt, decrypt, digital sign, and verify signed messages (implementing OpenPGP)

system-design-primer. Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

Projects. :page_with_curl: A list of practical projects that anyone can solve in any programming language.

Jarvis. Personal Assistant for Linux and macOS

the-art-of-command-line. Master the command line, in one page

awesome-macos-command-line. Use your macOS terminal shell to do awesome things.

awesome-python. An opinionated list of Python frameworks, libraries, tools, and resources