spaceships

spaceships's Stars

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java50.9k1k4.8k5.8k

• Homebrew/brew

  🍺 The missing package manager for macOS (or Linux)

  Language:Ruby40.9k7174.5k9.6k

• tokio-rs/tokio

  A runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...

  Language:Rust26.6k3102.3k2.4k

• jedisct1/libsodium

  A modern, portable, easy to use crypto library.

  Language:C12.2k3878231.7k

• rayon-rs/rayon

  Rayon: A data parallelism library for Rust

  Language:Rust10.9k104567496

• openzfs/zfs

  OpenZFS on Linux and FreeBSD

  Language:C10.5k4408.3k1.7k

• semgrep/semgrep

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

  Language:OCaml10.4k1033k603

• darktable-org/darktable

  darktable is an open source photography workflow application and raw developer

  Language:C9.6k1777.3k1.1k

• felixrieseberg/macintosh.js

  🖥 A virtual Apple Macintosh with System 8, running in Electron. I'm sorry.

  Language:JavaScript8.3k126108332

• crossbeam-rs/crossbeam

  Tools for concurrent programming in Rust

  Language:Rust7.3k80434460

• haad/proxychains

  proxychains - a tool that forces any TCP connection made by any given application to follow through proxy like TOR or any other SOCKS4, SOCKS5 or HTTP(S) proxy. Supported auth-types: "user/pass" for SOCKS4/5, "basic" for HTTP.

  Language:C6.6k144121616

• rust-lang/futures-rs

  Zero-cost asynchronous programming in Rust

  Language:Rust5.4k1051.1k620

• verilator/verilator

  Verilator open-source SystemVerilog simulator and lint system

  Language:C++2.5k703.5k589

• hacl-star/hacl-star

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

  Language:F*1.6k77229168

• jedisct1/libhydrogen

  A lightweight, secure, easy-to-use crypto library suitable for constrained environments.

  Language:C6063810090

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C4272445382

• meh/rust-tun

  TUN device creation and handling.

  Language:Rust3441039139

• amluto/virtme

  An easy way to virtualize the running system

  Language:Python329162166

• GaloisInc/swanky

  A suite of rust libraries for secure multi-party computation

  Language:Rust266121655

• haskell/ghcup

  DEPRECATED IN FAVOR OF haskell/ghcup-hs

  Language:Shell26313024

• keijiro/SpriteOutlineFx

  Outline image effect for 2D sprites.

  Language:ShaderLab20716133

• simonmar/monad-par

  Language:Haskell124165237

• meithecatte/miniforth

  A bootsector FORTH

  Language:Forth121979

• parallaxsecond/rust-tss-esapi

  TSS 2.0 Enhanced System API (ESAPI) Rust wrapper

  Language:Rust871014151

• chiraag/gazelle_mpc

  Language:C++656920

• mminelli/dinn

  Fast Homomorphic Evaluation of Deep Discretized Neural Networks

  Language:C++433512

• GaloisInc/scuttlebutt

  Multi-party computation utilities toolkit for rust

  Language:Rust16502

• GaloisInc/ocelot

  Oblivious transfer library for rust

  Language:Rust11403

• LevitatingOrange/oblivious-transfer

  Language:Rust5200

• dmwit/damascus

  A server/client protocol for playing Dr. Mario-like games on high-latency low-bandwidth connections

  Language:Haskell220