Skip to content
@ispras

Ivannikov Institute for System Programming of the Russian Academy of Sciences

Popular repositories

  1. casr casr Public

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

    Rust 240 24

  2. llv8 llv8 Public

    Forked from v8/v8

    LLV8 is an experimental top-tier compiler for V8 JavaScript Engine. LLV8 leverages the power of LLVM MCJIT to produce highly optimized code.

    C++ 229 13

  3. web-scraper-chrome-extension web-scraper-chrome-extension Public

    Web data extraction tool implemented as chrome extension

    JavaScript 195 64

  4. oss-sydr-fuzz oss-sydr-fuzz Public

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

    C 105 32

  5. dedoc dedoc Public

    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 electro…

    Python 77 11

  6. postgres postgres Public

    Forked from postgres/postgres

    This is a modified version of PostgreSQL with just-in-time compiler for expressions. Current base version is 9.6.1.

    C 55 11

Repositories

Showing 10 of 109 repositories
  • lingvodoc Public

    More advanced Python version for Dialeqt project

    JavaScript 7 Apache-2.0 13 10 1 Updated May 8, 2024
  • natch Public

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

    Shell 13 8 0 0 Updated May 8, 2024
  • dedoc Public

    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)

    Python 77 Apache-2.0 11 0 0 Updated May 8, 2024
  • boinc Public Forked from BOINC/boinc

    Open-source software for volunteer computing and grid computing.

    PHP 0 LGPL-3.0 453 0 0 Updated May 8, 2024
  • proceedings-md Public

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

    TypeScript 6 0 2 1 Updated May 7, 2024
  • boinc_docker Public Forked from marius311/boinc-server-docker

    A Docker multi-container application that runs a BOINC server

    PHP 0 MIT 59 0 0 Updated May 7, 2024
  • RISC-V-nML Public

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

    3 Apache-2.0 1 7 0 Updated May 7, 2024
  • scrapy-puppeteer Public

    Library that helps use puppeteer in scrapy.

    Python 49 BSD-3-Clause 4 1 1 Updated May 3, 2024
  • oss-sydr-fuzz Public

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

    C 105 Apache-2.0 32 1 0 Updated May 1, 2024
  • percy Public Forked from lsils/percy

    C++ header-only exact synthesis library

    C++ 0 MIT 8 0 0 Updated Apr 27, 2024
View all repositories

Top languages

Loading…