Andrew J. Stone (andrewjstone)

andrewjstone

Geek Repo

Company:Oxide Computer Company

Github PK Tool:Github PK Tool

Andrew J. Stone's starred repositories

test-strategy

Procedural macro to easily write higher-order strategies in proptest.

Language:RustLicense:Apache-2.0Stargazers:39Issues:0Issues:0

vello

An experimental GPU compute-centric 2D renderer.

Language:RustLicense:Apache-2.0Stargazers:2035Issues:0Issues:0

bertie

Bertie TLS 1.3 Implementation

Language:F*License:Apache-2.0Stargazers:110Issues:0Issues:0
Language:Vim ScriptStargazers:8Issues:0Issues:0

symbolica

A modern computer algebra system which aims to handle expressions with billions of terms.

Language:RustLicense:NOASSERTIONStargazers:387Issues:0Issues:0

inquire

A Rust library for building interactive prompts

Language:RustLicense:MITStargazers:1675Issues:0Issues:0

duct.rs

a Rust library for running child processes

Language:RustLicense:MITStargazers:791Issues:0Issues:0

devx

Collection of utilities for writing your own dev scripts

Language:RustLicense:Apache-2.0Stargazers:57Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:643Issues:0Issues:0

corrosion

Gossip-based service discovery (and more) for large distributed systems.

Language:RustLicense:Apache-2.0Stargazers:605Issues:0Issues:0

cr-sqlite

Convergent, Replicated SQLite. Multi-writer and CRDT support for SQLite

Language:RustLicense:MITStargazers:2495Issues:0Issues:0

glove80-keymaps

"Glorious Engrammer" keymap for Glove80 keyboard

Language:HTMLStargazers:231Issues:0Issues:0

sassaman_and_dingledine_on_remailers_at_blackhat_2003

A Full Transcript and Slides from the talk "Attacks on Anonymity Systems: The Theory" by Len Sassaman and Roger Dingledine in 2003

Stargazers:12Issues:0Issues:0

GhostText

👻 Use your text editor to write in your browser. Everything you type in the editor will be instantly updated in the browser (and vice versa).

Language:JavaScriptLicense:MITStargazers:3236Issues:0Issues:0

junk-fillmem

an interactive tool for looking at ARC sizes and creating memory pressure

Language:RustStargazers:1Issues:0Issues:0

lsd

The next gen ls command

Language:RustLicense:Apache-2.0Stargazers:12593Issues:0Issues:0

starship

☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

Language:RustLicense:ISCStargazers:41542Issues:0Issues:0

nannou

A Creative Coding Framework for Rust.

Language:RustStargazers:5868Issues:0Issues:0

turmoil

Add hardship to your tests

Language:RustLicense:MITStargazers:701Issues:0Issues:0

vmtouch

Portable file system cache diagnostics and control

Language:CLicense:BSD-3-ClauseStargazers:1754Issues:0Issues:0

KEV

Ostorlab KEV: One-command to detect most remotely known exploitable vulnerabilities. Sourced from CISA KEV, Google's Tsunami, Ostorlab's Asteroid and Bug Bounty programs.

License:Apache-2.0Stargazers:492Issues:0Issues:0

security-research

This project hosts security advisories and their accompanying proof-of-concepts related to research conducted at Google which impact non-Google owned code.

Language:CLicense:Apache-2.0Stargazers:2885Issues:0Issues:0

cargo-machete

Remove unused Rust dependencies with this one weird trick!

Language:RustLicense:MITStargazers:578Issues:0Issues:0

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Language:CoqLicense:NOASSERTIONStargazers:695Issues:0Issues:0

ImHex

🔍 A Hex Editor for Reverse Engineers, Programmers and people who value their retinas when working at 3 AM.

Language:C++License:GPL-2.0Stargazers:33409Issues:0Issues:0

hexabyte

A modern, modular, and robust TUI hex editor.

Language:PythonLicense:GPL-3.0Stargazers:232Issues:0Issues:0

helix

A post-modern modal text editor.

Language:RustLicense:MPL-2.0Stargazers:1Issues:0Issues:0

lobster

The Lobster Programming Language

Language:C++Stargazers:2172Issues:0Issues:0

ascent

logic programming in Rust

Language:RustLicense:MITStargazers:372Issues:0Issues:0

unleashed-firmware

Flipper Zero Unleashed Firmware

Language:CLicense:GPL-3.0Stargazers:15477Issues:0Issues:0