Explore @ispras Open Source projects

Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

JavaScript

Java

C#

PHP

CSS

Nix

Clojure

HTML

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Crystal

Dart

Objective-C

Elixir

C#

Java

Julia

Lua

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇱🇻 Latvia

🇸🇳 Senegal

🇬🇫 French Guiana

🇱🇰 Sri Lanka

🇸🇱 Sierra Leone

🇬🇵 Guadeloupe

🇲🇦 Morocco

🇩🇰 Denmark

All Countries Compare Countries

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

ispras

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

Python
23.7 %

C
13.6 %

C++
10.2 %

JavaScript
6.8 %

Dockerfile
5.1 %

Jupyter Notebook
5.1 %

Verilog 5.1 %

Java
5.1 %

Scala
5.1 %

Go
3.4 %

Shell
1.7 %

HTML
1.7 %

C#
1.7 %

TypeScript
1.7 %

Jinja 1.7 %

Assembly
1.7 %

Rust
1.7 %

TeX
1.7 %

Stata 1.7 %

R
1.7 %
Location 🇷🇺 Russia
Country Total Rank 142
Country Ranking

Stata 1

Jinja 2

Scala
10

Verilog 11

Rust
13

Dockerfile
41

Assembly
46

C
68

TeX
70

Python
78

R
99

JavaScript
134

Shell
204

C++
242

Go
244

Jupyter Notebook
408

HTML
501

TypeScript
731

Java
909

C#
1,075

casr

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

web-scraper-chrome-extension

Web data extraction tool implemented as chrome extension

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

oss-sydr-fuzz

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

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

hdl-benchmarks

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

michman

Service for distributed systems deployment; part of Asperitas

natch

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

sydr-benchmark

Sydr benchmark applications

quix86

An x86-64 instruction decoder.

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

utopia-hls

Utopia: a High-Level Synthesis framework

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

clouni

Cloud Unifier Tool for Service Orchestration

dedoc-utils

Useful utilities for automatic document images processing

FuzzedDataProviderCS

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

parmasan

Mirror repository with parmasan project

microtesk

MicroTESK: Specification-Based Framework for Developing Test Program Generators

gocotea

gocotea: Ansible control tool on Golang

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

parmasan-remake

Mirror repository with patched remake for parmasan

minimap2_index_modifier

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

flagsup

Build flags extractor and summarizer.

mammo_crop

Jupyter Notebook

dedockerfiles

Collection of dockerfiles for dedoc group projects

qdt-guest-agent

NetBlox

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

PTAHA

Patent Timesaving Automatic Helpful Apparatus

RISC-V-nML

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