beldmian

beldmian's Stars

• massgravel/Microsoft-Activation-Scripts

  Open-source Windows and Office activator featuring HWID, Ohook, KMS38, and Online KMS activation methods, along with advanced troubleshooting.

  Language:Batchfile101k9984339.9k

• danielmiessler/SecLists

  SecLists is the security tester's companion. It's a collection of multiple types of lists used during security assessments, collected in one place. List types include usernames, passwords, URLs, sensitive data patterns, fuzzing payloads, web shells, and many more.

  Language:PHP58.3k1.9k26723.9k

• slackhq/nebula

  A scalable overlay networking tool with a focus on performance, simplicity and security

  Language:Go14.5k242519975

• gojue/ecapture

  Capturing SSL/TLS plaintext without a CA certificate using eBPF. Supported on Linux/Android kernels for amd64/arm64.

  Language:C13.4k983211.4k

• semgrep/semgrep

  Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

  Language:OCaml10.6k1053k616

• ossu/bioinformatics

  :microscope: Path to a free self-taught education in Bioinformatics!

  5.5k36524917

• bklieger-groq/g1

  g1: Using Llama-3.1 70b on Groq to create o1-like reasoning chains

  Language:Python3.8k5114343

• Gozargah/Marzban

  Unified GUI Censorship Resistant Solution Powered by Xray

  Language:Python3.6k39837499

• hacl-star/hacl-star

  HACL*, a formally verified cryptographic library written in F*

  Language:F*1.6k78229169

• zml/zml

  High performance AI inference stack. Built for production. @ziglang / @openxla / MLIR / @bazelbuild

  Language:Zig1.6k241357

• andrewrk/poop

  Performance Optimizer Observation Platform

  Language:Zig967123153

• zhovner/OneFileLinux

  Live linux distro combined in one ~20MB file. Runs on any UEFI computer.

  Language:C870612382

• DataDog/zstd

  Zstd wrapper for Go

  Language:C7476096391

• RustCrypto/AEADs

  Authenticated Encryption with Associated Data Algorithms: high-level encryption ciphers

  Language:Rust72116110153

• neural-maze/agentic_patterns

  Implementing the 4 agentic patterns from scratch

  Language:Jupyter Notebook6959060

• RustCrypto/block-ciphers

  Collection of block cipher algorithms written in pure Rust

  Language:Rust6711496131

• Brum3ns/firefly

  Black box fuzzer for web applications

  Language:Go4014935

• 1andrevich/Re-filter-lists

  Re:filter is (an attempt to create) an actual list of blocked domains and IPs in RU + popular and blocked for RU users

  Language:Python37010269

• mit-plv/bedrock2

  A work-in-progress language and compiler for verified low-level programming

  Language:Coq2971510445

• ruecat/ollama-telegram

  🦙 Ollama Telegram bot, with advanced configuration

  Language:Python28973779

• philippgille/chromem-go

  Embeddable vector database for Go with Chroma-like interface and zero third-party dependencies. In-memory with optional persistence.

  Language:Go2755619

• formal-land/coq-of-ocaml

  Formal verification for OCaml

  Language:OCaml25687020

• google/go-tpm-tools

  Go packages built on go-tpm providing a high-level API for using TPMs

  Language:C229185471

• google/fuse-archive

  FUSE file system for archives and compressed files (ZIP, RAR, 7Z, ISO, TGZ, XZ...)

  Language:Python16491917

• dinosaure/esperanto

  build-once run-anywhere OCaml programs

  Language:C1344133

• shenwei356/LexicMap

  LexicMap: efficient sequence alignment against millions of prokaryotic genomes

  Language:Go105324

• knowsys/nemo

  A fast in-memory rule engine

  Language:Rust7882447

• thedonutfactory/go-tfhe

  🐿️ Pure go implementation of TFHE Fully Homomorphic Encryption Scheme

  Language:Go52215

• google/rrg

  A Rust rewrite of the GRR agent.

  Language:Rust4792922

• jamespfennell/xz

  xz compression in Go

  Language:C12313