Explore @ispras Open Source projects

Ivannikov Institute for System Programming of the Russian Academy of Sciences (@ispras)

ispras

Stars
1,463
Global Org. Rank 11,708 (Top 4 %)
Registered almost 13 years ago
Most used languages

Python
25.0 %

C
12.5 %

C++
10.7 %

JavaScript
7.1 %

Dockerfile
5.4 %

Scala
5.4 %

Java
5.4 %

Verilog 5.4 %

Jupyter Notebook
3.6 %

Go
3.6 %

HTML
1.8 %

Rust
1.8 %

TeX
1.8 %

Jinja 1.8 %

C#
1.8 %

Assembly
1.8 %

Stata 1.8 %

TypeScript
1.8 %

Shell
1.8 %
Location 🇷🇺 Russia
Country Total Rank 142
Country Ranking

Stata 1

Jinja 2

Scala
10

Verilog 11

Rust
13

Dockerfile
40

Assembly
45

TeX
70

C
77

Python
91

JavaScript
136

Shell
212

Go
231

C++
258

Jupyter Notebook
429

HTML
478

TypeScript
685

Java
872

C#
1,061

casr

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

web-scraper-chrome-extension

Web data extraction tool implemented as chrome extension

oss-sydr-fuzz

OSS-Sydr-Fuzz - OSS-Fuzz fork for hybrid fuzzing (fuzzer+DSE) open source software.

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; Logical structure extraction; PDF parser; Scanned document parser; DOCX parser; HTML parser

Futag

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

scrapy-puppeteer

Library that helps use puppeteer in scrapy.

pu4spark

Positive-Unlabeled Learning for Apache Spark

rop-benchmark

ROP Benchmark is a tool to compare ROP compilers

crusher

qdt

QEMU Development Toolkit

atr4s

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

spark-openstack

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

juliet-dynamic

Juliet C/C++ Dynamic Test Suite

qemu-gui

michman

Service for distributed systems deployment; part of Asperitas

hdl-benchmarks

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

sydr-benchmark

Sydr benchmark applications

quix86

An x86-64 instruction decoder.

natch

Natch: инструмент определения поверхности атаки

cotea

cotea: Ansible control tool

EcgLib

centos6.9-build-docker

CentOS 6.9 build Docker environment to distribute portable Linux binaries

swat

SWAT - System-Wide Analysis Toolkit

proceedings

Proceedings of ISP RAS LaTeX Template

v8-aotc

V8 ahead-of-time compilation project

scrapy-puppeteer-service

A special service that runs puputeer instances.

tact

lingvodoc-react

texterra-py

Texterra python sdk

lingvodoc

More advanced Python version for Dialeqt project

riscv-avs

RISC-V Architecture Verification Suite (AVS)

microtesk-old

MicroTESK: Specification-Based Framework for Developing Test Program Generators

tm

Regularized multilingual Probabilistic Semantic Analysis Scala implementation.

TrustedDynamic

proceedings-md

Automatic markdown to docx converter that follows the Ispras proceedings design requirements

dedoc-utils

Useful utilities for automatic document images processing

clouni

Cloud Unifier Tool for Service Orchestration

FuzzedDataProviderCS

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

microtesk

MicroTESK: Specification-Based Framework for Developing Test Program Generators

gocotea

gocotea: Ansible control tool on Golang

parmasan

Mirror repository with parmasan project

endometrium-dataset-analysis

This repository is dedicated to the analysis of the EndoNuke dataset

Jupyter Notebook

esoc

Ethernet Switch on Configurable Logic

angiocells_analysis

Jupyter Notebook

libosuction

A tool for stripping dynamic libraries of unneeded symbols

news-page-dataset

I3S

utopia-hls

Utopia: a High-Level Synthesis framework

hls-idct

Inverse Discrete Cosine Transform (IDCT) algorithm implementations are written in languages for High-Level Synthesis (HLS) and Hardware Construction (HC) tools.

sv-tests

Test suites based on Verilog and SystemVerilog standards

cv

Klever Continuous Verification Framework

NetBlox

flagsup

Build flags extractor and summarizer.

dedockerfiles

Collection of dockerfiles for dedoc group projects

qdt-guest-agent

parmasan-remake

Mirror repository with patched remake for parmasan

staccato

Fork for the STACCATO project of University of Michigan

flint

Scalable machine learning framework

gephi-graphson

Importer and exporter plugins for Gephi for GraphSON format

RISC-V-nML

RISC-V nML is a specification of ISA RISC-V in nML architecture decription language.