fosres

fosres's Stars

• open-guides/og-aws

  📙 Amazon Web Services — a practical guide

  Language:Shell35.7k1.2k2273.9k

• tokio-rs/tokio

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

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

• freebsd/freebsd-src

  The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....

  Language:C7.8k46902.9k

• n64decomp/sm64

  A Super Mario 64 decompilation, brought to you by a bunch of clever folks.

  Language:C7.6k23901.4k

• id-Software/DOOM-3

  Doom 3 GPL source release

  Language:C++3.1k2090700

• FStarLang/FStar

  A Proof-oriented Programming Language

  Language:F*2.7k792k231

• lettre/lettre

  a mailer library for Rust

  Language:Rust1.8k16314197

• SpinalHDL/SpinalHDL

  Scala based HDL

  Language:Scala1.6k80726319

• hacl-star/hacl-star

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

  Language:F*1.6k77229168

• clash-lang/clash-compiler

  Haskell to VHDL/Verilog/SystemVerilog compiler

  Language:Haskell1.4k56967151

• GaloisInc/cryptol

  Cryptol: The Language of Cryptography

  Language:Haskell1.1k551.2k123

• openenclave/openenclave

  SDK for developing enclaves

  Language:C1.1k641.7k356

• pq-crystals/kyber

  Language:C7804946189

• RustCrypto/AEADs

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

  Language:Rust71316110151

• janestreet/hardcaml

  Hardcaml is an OCaml library for designing hardware.

  Language:OCaml653331039

• jedisct1/libhydrogen

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

  Language:C6053810090

• ocaml-multicore/eio

  Effects-based direct-style IO for multicore OCaml

  Language:OCaml5572315170

• FStarLang/karamel

  KaRaMeL is a tool for extracting low-level F* programs to readable C code

  Language:OCaml3944316159

• YosysHQ/sby

  SymbiYosys (sby) -- Front-end for Yosys-based formal verification flows

  Language:Python3903812974

• AMDESE/AMDSEV

  AMD Secure Encrypted Virtualization

  Language:Shell2954221285

• mietek/sf

  Mirror of Software Foundations in PDF

  Language:HTML29410556

• pornin/CTTK

  Constant-Time Toolkit

  Language:C2949614

• pia-foss/desktop

  Private Internet Access - Desktop VPN Client for Windows/macOS/Linux

  Language:C++279206452

• ocaml-multicore/ocaml5-tutorial

  A hands-on tutorial on the new parallelism features in OCaml 5

  Language:OCaml2018410

• stnolting/neoTRNG

  🎲 A Tiny and Platform-Independent True Random Number Generator for any FPGA (and ASIC).

  Language:VHDL1696118

• mrclksr/linux-browser-installer

  Script to install Linux browsers under a Linux chroot on FreeBSD

  Language:Shell168105025

• proprietary/chromium-widevine

  How to install Widevine on Chromium on Linux; how to watch Netflix on Chromium Ubuntu or Debian

  Language:Shell15521125

• WebOfTrustInfo/rwot8-barcelona

  RWOT8 in Barcelona, Spain (March 2019)

  1304011101

• 0xcl/clang-cfi-bypass-techniques

  Exploitation techniques to bypass Clang CFI when applied to Chromium

  Language:HTML1109029

• hgrosz/aes-dom

  DOM Protected Hardware Implementation of AES

  Language:VHDL13306