rlee287

rlee287's Stars

• formbricks/formbricks

  Open Source Survey Platform

  Language:TypeScript8.8k1.7k

• ohmyform/ohmyform

  ✏️ Free open source alternative to TypeForm, TellForm, or Google Forms ⛺

  Language:TypeScript2.8k436

• creusot-rs/creusot

  Creusot helps you prove your code is correct in an automated fashion.

  Language:Rust1.1k50

• atmoz/sftp

  Securely share your files

  Language:Shell1.7k834

• stacked-git/stgit

  Stacked Git

  Language:Rust53461

• gitbutlerapp/gitbutler

  The GitButler version control client, backed by Git, powered by Tauri/Rust/Svelte

  Language:Rust13.2k521

• nex3/cohost-dedup

  Language:JavaScript283

• viperproject/prusti-assistant

  VS Code extension to verify Rust programs with the Prusti verifier.

  Language:TypeScript2210

• SSLMate/certspotter

  Certificate Transparency Log Monitor

  Language:Go97483

• kaganisildak/malwarescarecrow

  A tool designed to make physical devices detectable by malware and make system look like virtual machine.

  Language:Python37923

• LordNoteworthy/al-khaser

  Public malware techniques used in the wild: Virtual Machine, Emulation, Debuggers, Sandbox detection.

  Language:C++5.9k1.2k

• kpcyrd/i-probably-didnt-backdoor-this

  A practical experiment on supply-chain security using reproducible builds

  Language:Dockerfile1529

• facebookexperimental/MIRAI

  Rust mid-level IR Abstract Interpreter

  Language:Rust1k86

• dafny-lang/dafny

  Dafny is a verification-aware programming language

  Language:C#2.9k262

• CarlKCarlK/range-set-blaze

  Integer sets as fast, sorted, integer ranges with full set operations

  Language:Rust7610

• smallstep/certificates

  🛡️ A private certificate authority (X.509 & SSH) & ACME server for secure automated certificate management, so you can use TLS everywhere & SSO for SSH.

  Language:Go6.7k440

• Gankra/abi-cafe

  Pair your compilers up at The ABI Cafe!

  Language:Rust22415

• gaul/awesome-ld-preload

  List of resources related to LD_PRELOAD, a mechanism for changing application behavior at run-time

  88246

• CycloneDX/cyclonedx-rust-cargo

  Creates CycloneDX Software Bill of Materials (SBOM) from Rust (Cargo) projects

  Language:Rust10243

• filebrowser/filebrowser

  📂 Web File Browser

  Language:Go26.6k3k

• rust-secure-code/cargo-auditable

  Make production Rust binaries auditable

  Language:Rust64628

• cryptpad/cryptpad

  Collaborative office suite, end-to-end encrypted and open-source.

  Language:JavaScript5.6k653

• hedgedoc/hedgedoc

  HedgeDoc - Ideas grow better together

  Language:TypeScript5.2k403

• thepowersgang/mrustc

  Alternative rust compiler (re-implementation)

  Language:C++2.2k109

• ericseppanen/crates_io_analyzer

  Investigating published Rust crates

  Language:Python9

• hacspec/hacspec

  Please see https://github.com/hacspec/hax

  Language:Coq24342

• ArthurSonzogni/Diagon

  Interactive ASCII art diagram generators. :star2:

  Language:C++1.6k56

• kdeldycke/awesome-falsehood

  😱 Falsehoods Programmers Believe in

  24.1k562

• rr-debugger/rr

  Record and Replay Framework

  Language:C++9.2k587

• MarcoPon/BlockHashLoc

  Recover files using lists of blocks hashes, bypassing the File System entirely

  Language:Python516