lmittmann

lmittmann's Stars

• ollama/ollama

  Get up and running with Llama 3, Mistral, Gemma, and other large language models.

  Language:Go73.5k4403.2k5.5k

• 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.

  Language:Rust36.2k1715.9k1.9k

• docker/compose

  Define and run multi-container applications with Docker

  Language:Go32.8k7227.5k5.1k

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust28.1k774.6k910

• pola-rs/polars

  Dataframes powered by a multithreaded, vectorized query engine, written in Rust

  Language:Rust27.2k1537.7k1.7k

• uutils/coreutils

  Cross-platform Rust rewrite of the GNU coreutils

  Language:Rust17k1971.5k1.2k

• lima-vm/lima

  Linux virtual machines, with a focus on running containers

  Language:Go14.4k79745562

• 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.

  Language:Rust13k3195751.3k

• ClementTsang/bottom

  Yet another cross-platform graphical process/system monitor.

  Language:Rust9.2k41395215

• crytic/slither

  Static Analyzer for Solidity and Vyper

  Language:Python5.1k691.2k933

• paradigmxyz/reth

  Modular, contributor-friendly and blazing-fast implementation of the Ethereum protocol, in Rust

  Language:Rust3.4k532.5k854

• charmbracelet/freeze

  Generate images of code and terminal output 📸

  Language:Go2.8k66047

• ethereum/fe

  Emerging smart contract language for the Ethereum blockchain.

  Language:Rust1.6k39408174

• bluealloy/revm

  Ethereum Virtual Machine written in rust that is fast and simple to use

  Language:Rust1.4k28233457

• minio/c2goasm

  C to Go Assembly

  Language:Go1.3k5023111

• dominikh/gotraceui

  Go execution trace frontend

  Language:Go1k1115028

• puzpuzpuz/xsync

  Concurrent data structures for Go

  Language:Go957154037

• a16z/halmos

  A symbolic testing tool for EVM smart contracts

  Language:Python720109752

• fuzzland/ityfuzz

  Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

  Language:Rust70912177113

• bnb-chain/opbnb

  Language:Go3901730155

• go-json-experiment/json

  Experimental implementation of a proposed v2 encoding/json package

  Language:Go335362111

• mmcloughlin/mathfmt

  Document mathematical Go code beautifully

  Language:Go193494

• Philogy/meth-weth

  The most optimized ERC20 & Wrapped Ether implementation.

  Language:Solidity135407

• flashbots/mev-share-node

  Language:Go91161112

• protolambda/forkdiff

  CLI tool to generate documentation page of git fork diff

  Language:Go74409

• sbip-sg/CuEVM

  Cuda implementation of EVM bytecode executor

  Language:Cuda675126

• gattaca-com/helix

  Language:Rust395

• DaniPopes/zevm

  Zig EVM

  Language:Zig24201

• bnb-chain/reth

  Language:Rust16914

• bnb-chain/revm

  Language:Rust11905