ispras Goto Github PK

abc

ABC: System for Sequential Logic Synthesis and Formal Verification

angiocells_analysis

angr

A powerful and user-friendly binary analysis platform!

atr4s

Toolkit with state-of-the-art Automatic Terms Recognition methods in Scala

avatar2

Python core of avatar²

binexport

An IDA Pro plugin for exporting disassemblies into BinNavi databases and to Protocol Buffers

binnavi

BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.

binutils-gdb

GDB with some custom features.

casr

Collect crash (or UndefinedBehaviorSanitizer error) reports, triage, and estimate severity.

centos6.9-build-docker

CentOS 6.9 build Docker environment to distribute portable Linux binaries

clouni

Cloud Unifier Tool for Service Orchestration

computel-docker

cotea

cotea: Ansible control tool

crusher

cv

Klever Continuous Verification Framework

dedoc

Dedoc is a library (service) for automate documents parsing and bringing to a uniform format. It automatically extracts content, logical structure, tables, and meta information from textual electronic documents. (Parse document; Document content extraction; Document logical extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser)

dedoc-utils

Useful utilities for automatic document images processing

dedockerfiles

Collection of dockerfiles for dedoc group projects

dynamorio

Dynamic Instrumentation Tool Platform

ecglib

endometrium-dataset-analysis

This repository is dedicated to the analysis of the EndoNuke dataset

endonet

eporod

This project contains the code for training CNNs for early prediction of retina organoids differentiation.

esoc

Ethernet Switch on Configurable Logic

fir-tests

Test suites based on FIRRTL specifications

flagsup

Build flags extractor and summarizer.

flint

Scalable machine learning framework

futag

FUTAG (FUzzing Target Automated Generator) - автоматический генератор фаззинг-оберток для библиотек

fuzzeddataprovidercs

FuzzedDataProvider for C#, inspired by Google's FuzzedDataProvider.

fuzztest