prpr2770

prpr2770's Stars

• microsoft/onefuzz

  A self-hosted Fuzzing-As-A-Service platform

  Language:C#2.8k90928198

• microsoft/restler-fuzzer

  RESTler is the first stateful REST API fuzzing tool for automatically testing cloud services through their REST APIs and finding security and reliability bugs in these services.

  Language:Python2.6k35489296

• magma/magma

  Platform for building access networks and modular network services

  Language:C++1.7k855.2k600

• aligungr/UERANSIM

  Open source 5G UE and RAN (gNodeB) implementation.

  Language:C++76838389318

• emina/rosette

  The Rosette solver-aided host language, sample solver-aided DSLs, and demos

  Language:Racket6393014474

• potassco/clingo

  🤔 A grounder and solver for logic programs.

  Language:C++6033435680

• google/libprotobuf-mutator

  Library for structured fuzzing with protobuffers

  Language:C++5772778115

• boogie-org/boogie

  Boogie

  Language:Boogie50631271111

• DeepSpec/InteractionTrees

  A Library for Representing Recursive and Impure Programs in Coq

  Language:Coq199178950

• Chymyst/chymyst-core

  Declarative concurrency in Scala - The implementation of the chemical machine

  Language:Scala154191411

• microsoft/Armada

  Armada is a tool for writing, and proving correct, high-performance concurrent programs.

  Language:C#137172719

• potassco/clasp

  ⚙️ A conflict-driven nogood learning answer set solver

  Language:C++117127316

• microsoft/Zen

  Zen is a constraint solving library for .NET

  Language:C#858812

• jermp/sshash

  A compressed, associative, exact, and weighted dictionary for k-mers.

  Language:C++8352117

• diana-hep/oamap

  Perform high-speed calculations on columnar data without creating intermediate objects.

  Language:Python8116411

• eclipse/titan.core

  This repository has moved to: https://gitlab.eclipse.org/eclipse/titan/titan.core

  Language:C++7330970

• IUCompilerCourse/python-student-support-code

  Support for for students (Python)

  Language:Python55121636

• relentless-warrior/5GReasoner

  Language:Python504214

• openweave/happy

  Happy is a tool for lightweight orchestration of simulated network topologies used for development and testing of IOT home area networks

  Language:Python45181522

• tulip-control/omega

  Specify and synthesize systems using symbolic algorithms

  Language:Python453135

• GaloisInc/lean-protocol-support

  This project contains various supporting libraries for lean to reason about protocols.

  Language:Lean393302

• openweave/cirque

  Cirque simulates complex wireless network topologies based upon docker containers. It provides facilities to connect nodes over a simulated WiFi, Thread transports.

  Language:Python3213159

• venkatarun95/ccac

  Automated tool to formally verify congestion control algorithms and find bugs in them

  Language:Python25717

• stephenbeckr/ML-theory-class

  Theoretical Machine Learning (APPM 4490) class, Spring 2022

  Language:MATLAB206110

• CertiGraph/CertiGraph

  A library for verifying graph-manipulating programs. Powered by Coq and VST. Compatible with CompCert.

  Language:Coq1710135

• uw-unsat/serval-tutorial-sosp19

  Language:C13133

• CLC-UIowa/SySLite

  SYSLITE: Syntax-Guided Synthesis of PLTL Formulas from Finite Traces

  Language:Python6104

• scribble/scribble.github.io

  Language:Java5502

• secure-foundations/SWISS

  Automatically synthesizing invariants of distributed systems

  Language:Python5402

• macwoj/pydatanyc2019

  Language:Jupyter Notebook1300