lmittmann's Stars
ollama/ollama
Get up and running with Llama 3.1, Mistral, Gemma 2, and other large language models.
zed-industries/zed
Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.
docker/compose
Define and run multi-container applications with Docker
astral-sh/ruff
An extremely fast Python linter and code formatter, written in Rust.
pola-rs/polars
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
uutils/coreutils
Cross-platform Rust rewrite of the GNU coreutils
analysis-tools-dev/static-analysis
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
ClementTsang/bottom
Yet another cross-platform graphical process/system monitor.
crytic/slither
Static Analyzer for Solidity and Vyper
paradigmxyz/reth
Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust
CloudCannon/pagefind
Static low-bandwidth search at scale
charmbracelet/freeze
Generate images of code and terminal output 📸
charmbracelet/mods
AI on the command line
ethereum/fe
Emerging smart contract language for the Ethereum blockchain.
bluealloy/revm
Rust implementation of the Ethereum Virtual Machine.
dominikh/gotraceui
Go execution trace frontend
puzpuzpuz/xsync
Concurrent data structures for Go
fuzzland/ityfuzz
Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts
a16z/halmos
A symbolic testing tool for EVM smart contracts
bnb-chain/opbnb
go-json-experiment/json
Experimental implementation of a proposed v2 encoding/json package
mmcloughlin/mathfmt
Document mathematical Go code beautifully
Philogy/meth-weth
The most optimized ERC20 & Wrapped Ether implementation.
sbip-sg/CuEVM
Cuda implementation of EVM bytecode executor
protolambda/forkdiff
CLI tool to generate documentation page of git fork diff
bnb-chain/reth
BSC and opBNB client based on the Reth fork
gattaca-com/helix
DaniPopes/zevm
Zig EVM
bnb-chain/revm
bnb-chain/bsc-mev-sentry