Artem Burashnikov's repositories
depinspect
Streamlining Linux package dependency analysis across distributions and architectures.
Articles
Research papers, presentations and other related documents.
big-int-lib
C library which provides a set of basic arithmetic operations on arbitrary-precision integers
ff-libc
C library that provides a set of operations for elements of Galois field.
ImageProcessing
Image processing in F# on GPGPU using Brahma.FSharp
ImageProcessingGUI
GUI shell for ImageProcessing
lkmpg
The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
minunit
Minimal unit testing framework for C
pfuzz
The repository for the processor fuzzer
SimpleParser
Parser, interpretator and optimizer for a simple formal language.
SomeSAT
DPLL SAT solver in F#.
SparseMatrices
Sparse Matrices as QuadTrees and their usage as an internal data structure for Graphs.
nyancat
Nyancat rendered in your terminal
quadratic-equation
C library for solving quadratic equations
rngdrv
Linux character device that generates random bytes.
sat-solver-benchmark
Benchmarks of SomeSAT SAT-solver.