- All languages
- ANTLR
- Assembly
- Boogie
- C
- C#
- C++
- CMake
- CSS
- Classic ASP
- Clojure
- CoffeeScript
- Coq
- Cython
- Dart
- Dockerfile
- Elixir
- Erlang
- Go
- HTML
- Haskell
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- Kotlin
- LLVM
- Lua 8000 span>
- MDX
- Makefile
- Markdown
- Motoko
- Mustache
- Nix
- OCaml
- Objective-C
- PHP
- Perl
- Python
- Reason
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Smarty
- Solidity
- Standard ML
- Starlark
- Swift
- TSQL
- TeX
- TypeScript
- Vue
- WebAssembly
- Wikitext
- Zig
8000 Starred repositories
Heimdall is an advanced EVM smart contract toolkit specializing in bytecode analysis and extracting information from unverified contracts.
A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
testeth via RPC. Test run, generation by t8ntool protocol
Common tests for all Ethereum implementations
A Python framework and collection of test cases to generate test vectors for Ethereum execution clients
A C++ library for interacting with JSON.
🦄 🦄 🦄 Core smart contracts of Uniswap v3
🦄 🦄 🦄 🦄 Core smart contracts of Uniswap v4
The implementation of our VLDB 2025 paper "Seer: Accelerating Blockchain Transaction Execution by Fine-Grained Branch Prediction"
libunwind official github repo (in need of new / additional maintainer, mail/open issue if interested)
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…
trzsz is a simple file transfer tools, similar to lrzsz ( rz / sz ), and compatible with tmux.
AD1B The gflags package contains a C++ library that implements commandline flags processing. It includes built-in support for standard types such as string and the ability to define flags in the source …
Devtoolset container images based on Red Hat Software Collections, that provide a platform for building and running C and C++ applications. Users can choose between Red Hat Enterprise Linux, Fedora…
GoogleTest - Google Testing and Mocking Framework
ai-generated apps , full stack + generative UI
[arXiv 2023] Set-of-Mark Prompting for GPT-4V and LMMs
Tencent Hunyuan3D-1.0: A Unified Framework for Text-to-3D and Image-to-3D Generation
本项目为量化开源课程,可以帮助人们快速掌握量化金融知识以及使用Python进行量化开发的能力。
Occlum is a memory-safe, multi-process library OS for Intel SGX