Ivannikov Institute for System Programming of the Russian Academy of Sciences

Repositories

qdt

QEMU Development Toolkit

Python 5 16 7 4 Updated Aug 5, 2020

web-scraper-chrome-extension

Web data extraction tool implemented as chrome extension

javascript scraping webscraping scraping-tool

JavaScript LGPL-3.0 7 7 9 (5 issues need help) 1 Updated Jul 31, 2020

cv

Klever Continuous Verification Framework

Python Apache-2.0 2 1 1 0 Updated Jul 31, 2020

lingvodoc

More advanced Python version for Dialeqt project

JavaScript Apache-2.0 10 2 9 0 Updated Jul 30, 2020

lingvodoc-ext-oslon

Forked from neoakut/lingvodoc-ext-oslon

Library for language analysis used by language/dialect linguistic documentation system LingvoDoc.

linguistics linguistic-analysis

C++ Apache-2.0 1 0 0 0 Updated Jul 27, 2020

clouni

Cloud Unifier Tool for Service Orchestration

cloud openstack orchestration amazon-web-services tosca tosca-normative

Python Apache-2.0 2 0 0 1 Updated Jul 24, 2020

scrapy-puppeteer-service

A special service that runs puputeer instances.

selector scrapy puppeteer

JavaScript BSD-3-Clause 0 2 0 0 Updated Jul 21, 2020

centos6.9-build-docker

CentOS 6.9 build Docker environment to distribute portable Linux binaries

python docker cmake build centos ninja gcc

Dockerfile 0 3 0 0 Updated Jul 17, 2020

lingvodoc-react

JavaScript Apache-2.0 5 2 47 0 Updated Jul 14, 2020

rop-benchmark

ROP Benchmark is a tool to compare ROP compilers

security benchmark rop rop-gadgets payload rop-chain return-oriented-programming

Python 4 11 1 0 Updated Jun 26, 2020

qemu

Forked from qemu/qemu

qemu windbg

C 2,898 29 0 0 Updated Jun 26, 2020

scrapy-puppeteer

Library that helps use puppeter in scrapy.

middleware spider scrapy scrapy-puppeteer

Python BSD-3-Clause 1 3 0 0 Updated Jun 22, 2020

qemu-gui

GUI for QEMU

C++ Apache-2.0 3 6 1 0 Updated May 14, 2020

michman

Service for distributed systems deployment; part of Asperitas

Go MPL-2.0 0 3 0 0 Updated May 7, 2020

Triton

Forked from JonathanSalwan/Triton

Triton is a Dynamic Binary Analysis (DBA) framework. It provides internal components like a Dynamic Symbolic Execution (DSE) engine, a Taint Engine, AST representations of the x86 and the x86-64 instructions set semantics, SMT simplification passes, an SMT Solver Interface and, the last but not least, Python bindings.

C++ Apache-2.0 354 0 0 0 Updated May 1, 2020

proceedings

Proceedings of ISP RAS LaTeX Template

latex latex-template proceedings

TeX 0 3 0 0 Updated Apr 28, 2020

hdl-benchmarks

Collection of open HDL modules, subsystems and microprocessors (benchmarks) that are used for related tools testing.

Verilog 0 3 2 0 Updated Apr 25, 2020

z3

Forked from Z3Prover/z3

The Z3 Theorem Prover

C++ 923 0 0 0 Updated Apr 25, 2020

EPoROD

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

Jupyter Notebook 0 0 0 0 Updated Mar 20, 2020

vmemperor

Web service for easy launch and tracking of Ubuntu-based VMs in XenServer/XCP environment

TypeScript Apache-2.0 6 0 2 3 Updated Mar 13, 2020

magit-gerrit

Forked from terranpro/magit-gerrit

Magit plugin for Gerrit Code Review

Emacs Lisp GPL-3.0 42 3 0 0 Updated Jan 9, 2020

PurpleMine2

Forked from mrliptontea/PurpleMine2

A free Redmine theme for modern browsers

CSS MIT 133 0 0 0 Updated Dec 10, 2019

I3S

Python 0 1 0 0 Updated Dec 4, 2019

swat

SWAT - System-Wide Analysis Toolkit

C 3 1 0 0 Updated Dec 2, 2019

pyrsp

Forked from stef/pyrsp

python implementation of the GDB Remote Serial Protocol

Python 15 0 0 0 Updated Nov 28, 2019

riscv-avs

RISC-V Architecture Verification Suite (AVS)

Assembly 0 3 0 0 Updated Nov 6, 2019

microtesk

MicroTESK: Specification-Based Framework for Developing Test Program Generators

1 4 0 0 Updated Oct 24, 2019

spark-openstack

Scripts to setup Spark cluster (any version) in any Openstack environment with optional useful tools.

Python Apache-2.0 24 27 0 0 Updated Aug 29, 2019

pyelftools

Forked from eliben/pyelftools

Parsing ELF and DWARF in Python

Python 364 0 0 0 Updated Jul 30, 2019

dynamorio

Forked from DynamoRIO/dynamorio

Dynamic Instrumentation Tool Platform

C 343 0 0 0 Updated May 31, 2019