Alternatives and similar repositories for SeBRUS:

Users that are interested in SeBRUS are comparing it to the libraries listed below

• GSA / coe-industry-day
  Information on the Phase II Industry Day for the Centers of Excellence at USDA.
  ☆13Updated 6 years ago
• itu-bdsa / lecture_notes
  ls for the BSc course "Analysis, Design, and Software Architecture" at IT University of Copenhagen
  ☆30Updated 3 months ago
• uclaacm / acmcyber.com
  The home for ACM Cyber at UCLA! Website for the premier cybersecurity club at UCLA.
  ☆11Updated 2 weeks ago
• Gesture-App / gesture
  👋 Use your hands as input modes for apps (both 2D and 3D!) without additional hardware
  ☆38Updated 2 years ago
• pierg / crome-cgg
  Contract-Based Goal Graph Implementation. Combining LTL synthesis and contract-based design to model and analysis complex systems
  ☆11Updated 2 years ago
• milosilo / port-invaders
  Port Invaders is an arcade-style educational game designed to help you learn and memorize common networking port numbers. Whether you're …
  ☆12Updated last year
• lactf / lactf-website
  LA CTF hosted by ACM Cyber & Psi Beta Rho! Website for the largest annual cybersecurity competition at UCLA! Whether you are tackling you…
  ☆14Updated last month
• GSA / coe-hud-acquisitions
  A repository that contains links and information for acquisitions and potential acquisitions that have arisen out of work between the CoE…
  ☆11Updated 5 years ago
• MachSMT / MachSMT
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆22Updated last year
• Socratica-Org / toolbox
  ☆42Updated 7 months ago
• saligrama / securescope
  An autograder base Docker image for Gradescope with improved security
  ☆17Updated last year
• mit-frap / spring23
  Problem Sets for MIT 6.512 Formal Reasoning About Programs, Spring 2023
  ☆29Updated last year
• runtimeverification / pyk
  Python tools for the K Framework
  ☆13Updated 11 months ago
• qwqoro / ML-Talk
  📄 [Talk] OFFZONE 2022 / ODS Data Halloween 2022: Black-box attacks on ML models + with use of open-source tools
  ☆12Updated last year
• ossf / Memory-Safety
  ☆23Updated last week
• Nautilus-Institute / finals-2022
  Source code for the 2022 DEF CON Finals.
  ☆51Updated 2 years ago
• a-vodka / dv
  Data Visualization Course
  ☆25Updated 6 months ago
• murxla / murxla
  A model-based API Fuzzer for SMT Solvers.
  ☆14Updated last week
• hackclub / assemble-puzzle
  🔍 Solve the puzzle to reveal Hack Club's 2022 summer event: Assemble.
  ☆14Updated 2 years ago
• ekzhang / dispict
  Design a growing artistic exhibit of your own making, with semantic search powered by OpenAI CLIP
  ☆77Updated 2 months ago
• jackyzha0 / telescopic-text
  🔭 an open-source library to help with creating expandable text
  ☆89Updated last year
• jackyzha0 / rs-openai
  A Rust crate for easy serving of OpenAI's API with rate limiting and token use tracking out of the box
  ☆12Updated 4 years ago
• fishinabarrel / fishinabarrel.github.io
  Security research organization dedicated to finding low hanging, critical, vulnerabilities.
  ☆15Updated 2 years ago
• verses-xyz / pluriverse
  🌌 Towards a Digital Pluriverse: “a world where many worlds may fit”
  ☆14Updated 3 years ago
• fgsect / WAFL
  Binary-only fuzzer for WebAssembly (WASI)
  ☆48Updated 8 months ago
• H-Huang / LL1-Academy
  LL1 by Team , made with
  ☆11Updated 2 years ago
• we-bsite / we-bsite
  a (we)bsite for us, a communal gathering place for internet dreams
  ☆24Updated last year
• jackyzha0 / lite.css
  a dead-simple just-add-water css library
  ☆10Updated 4 years ago
• awslabs / rust-smt-ir
  ☆37Updated 7 months ago
• volticks / CTF-Writeups
  If I solve a CTF challenge and do a writeup, it goes here.
  ☆10Updated 3 months ago