operasfantom

operasfantom's Stars

• elastio/bon

  Next-gen compile-time-checked builder generator, named function's arguments, and more!

  Language:Rust1.5k23

• UnitTestBot/klee

  KLEEF Symbolic Execution Engine

  Language:C++1510

• emersonford/tracing-indicatif

  Tracing layer that automatically creates and manages progress bars for active spans.

  Language:Rust2139

• fmtlib/fmt

  A modern formatting library

  Language:C++21.6k2.6k

• libbpf/blazesym

  blazesym is a library for address symbolization and related tasks

  Language:Rust15933

• facebook/chef-cookbooks

  Open source chef cookbooks.

  Language:Ruby575145

• vadim-sobinin/Spanish-visa-bot

  Because of the high demand, small number of slots and inability to manually make an appointment for a visa to Spain, it became necessary to write code for the bot, which will monitor the availability of slots in the embassy.

  Language:Python427

• vitaut/modules

  Simple C++20 module support for CMake

  Language:CMake21114

• facebook/buck2

  Build system, successor to Buck

  Language:Rust3.8k251

• systemd/systemd

  The systemd System and Service Manager

  Language:C14k3.9k

• Zillibub/frenter

  Language:Python182

• kokkos/kokkos

  Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model - Parallel Execution and Memory Abstraction

  Language:C++2.2k450

• donnemartin/system-design-primer

  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

  Language:Python295k49.1k

• AFLplusplus/LibAFL

  Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

  Language:Rust2.2k352

• project-oak/rust-verification-tools

  RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

  Language:Rust27537

• PLSysSec/haybale

  Symbolic execution of LLVM IR with an engine written in Rust

  Language:Rust54828

• Nekrolm/ubbook

  C++ programmer's guide to undefined behavior

  1.3k67

• carbon-language/carbon-lang

  Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

  Language:C++32.8k1.5k

• thenifty/neon-guide

  Makes ARM NEON documentation accessible (with examples)

  39363

• nvbn/thefuck

  Magnificent app which corrects your previous console command.

  Language:Python91.3k3.7k

• andrey-yantsen/tlscontact-appointment-finder

  Language:Python4713

• nfrechette/acl

  Animation Compression Library

  Language:C++1.4k114

• cvc5/cvc5

  cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.

  Language:SMT1.1k247

• nfrechette/rtm

  Realtime Math

  Language:C++75247

• UnitTestBot/unittestbot.github.io

  UTBot Cloud client side - web application generating tests

  Language:JavaScript23

• UnitTestBot/UTBotJava

  Automated unit test generation and precise code analysis for Java

  Language:Kotlin13947

• trailofbits/maat

  Open-source symbolic execution framework: https://maat.re

  Language:C++63143

• staticafi/symbiotic

  Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

  Language:Python32057

• UnitTestBot/UTBotCpp

  Tool that generates unit test by C/C++ source code, trying to reach all branches and maximize code coverage

  Language:C++16628

• nemequ/portable-snippets

  Collection of miscellaneous portable C snippets.

  Language:C71272