briansmith

briansmith's Stars

• servo/servo

  Servo, the embeddable, independent, memory-safe, modular, parallel web rendering engine

  Language:Rust28.8k50712.8k3.1k

• google/trillian

  A transparent, highly scalable and cryptographically verifiable data store.

  Language:Go3.6k77344378

• EAimTY/tuic

  2.8k490483

• DaGenix/rust-crypto

  A (mostly) pure-Rust implementation of various cryptographic algorithms.

  Language:Rust1.4k38148299

• trezor/trezor-firmware

  :lock: Trezor Firmware Monorepo

  Language:C1.4k692k669

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq761201971

• stipub/stixfonts

  OpenType Unicode fonts for Scientific, Technical, and Mathematical texts

  Language:Perl7433226241

• w3c/trusted-types

  A browser API to prevent DOM-Based Cross Site Scripting in modern web applications.

  Language:JavaScript6067224974

• microsoft/TSS.MSR

  The TPM Software Stack from Microsoft Research

  Language:C43648127160

• rustls/rustls-native-certs

  Integration with OS certificate stores for rustls

  Language:Rust199103358

• mmcloughlin/addchain

  Cryptographic Addition Chain Generation in Go

  Language:Go18775914

• lawliet89/biscuit

  JOSE (JSON Web Token) Library for Rust

  Language:Rust18145335

• japaric/panic-never

  This crate guarantees that your application is free of panicking branches

  Language:Rust176624

• Glorf/lear

  Linux Engine for Asset Retrieval - speed-profiled C HTTP server

  Language:C16810158

• m4b/scroll

  Scroll - making scrolling through buffers fun since 2016

  Language:Rust16085737

• amazon-archives/certlint

  X.509 certificate linter

  Language:C157364343

• aep/osaka

  async for rust without the noise

  Language:Rust141933

• jswrenn/typic

  Type-safe transmutations between layout-compatible types.

  Language:Rust120874

• bitcoin-core/ctaes

  Simple constant-time AES implementation

  Language:C11521544

• lovasoa/json_in_type

  Fast json encoder in rust, that encodes the structure of JSON values in their types

  Language:Rust83654

• mmcloughlin/cryptofuzz

  Fuzzing Go crypto

  Language:Go735133

• UlfNorell/x86-agda

  Inline, type safe X86-64 assembly programming in Agda

  Language:Agda66722

• wezm/linux-conf-au-2019-epaper-badge

  My IoT badge for lca2019

  Language:Rust63706

• jrmuizel/memcpy-find

  A tool for finding large memcpy's in llvm ir

  Language:C++60621

• dunmatt/no-std-net

  Rust's std::net except without the std.

  Language:Rust474816

• craigfrancis/iframe-height

  Proposal for automatically setting an iframe height via HTML/CSS

  Language:HTML45924

• NLnetLabs/rpki-rs

  An RPKI library for Rust

  Language:Rust39182622

• oliver-giersch/conquer-once

  Synchronization primitives for lazy and one-time initialization (no_std compatible).

  Language:Rust32330

• bwindels/wwwee

  wwwee, the wee webserver: a small, robust, low-resource and fast web application server for low workloads (home server, personal cloud)

  Language:Rust271321

• HAL24K/ooproxy

  A reverse OpenID Connect and OAuth 2 proxy, implementing the client-credentials flow.

  Language:Rust25301