Oleg Zaikin (@Nauchnik)
github

Nauchnik

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    24
  • Global Rank 571,305 (Top 20 %)
  • Followers 16
  • Following 3
  • Registered over 12 years ago
  • Most used languages
    C++
         62.5 %
    C
         12.5 %
    Awk     12.5 %
    TeX
         12.5 %
  • Location πŸ‡·πŸ‡Ί Russia
  • Country Total Rank 5,812
  • Country Ranking
    Awk     3
    TeX
         251
    C++
         554
    C
         1,587

Top repositories

1

pdsat

Parallel and Distributed SAT solver
C++
8
star
2

alias

modulAr tooL for fInding bAckdoors for Sat (ALIAS)
C++
4
star
3

CluBORun

Tool for launching volunteer computing on computing clusters
Awk
3
star
4

CAMBALA

CAMBALA: Coupled Acoustic Modes with Bottom Attenuation in Linear Acoustics
C++
3
star
5

Local_search_LS

Local search for pseudotriples of Latin squares
C++
3
star
6

transalg-comparison

CNFs and additional data for comparison Transalg with other systems
C
2
star
7

AndersonAttack

Implementation of the Anderson attack on BOINC
TeX
1
star
8

utils

Utilities for encoding and solving SAT problems
C++
1
star