necto

config

my configuration(dot-) files

apliko

asciidag

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

cpp-demo

docker-webdav

NGINX WebDAV container

dotfiles

my configuration files

fastclick

FastClick - A faster version the Click Modular Router featuring batching, advanced multi-processing and improved Netmap and DPDK support (ANCS'15). Check the metron branch for Metron specificities (NSDI'18).

fp-course

Functional Programming Course

get-small-reproducer

guix-sway-example

hands-on-nix

lab@devoxxfr'22

klee

KLEE Symbolic Virtual Machine. patched for VNDS needs

lit.el

lit specification mode for emacs: highlighting, addition and removal of tester lit-spec comments

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

lsp-mode

Emacs client/library for the Language Server Protocol

lsp-sonarlint

lsp-mode :heart: sonarlint

minimal-cloud

necto.github.io

Personal page of Arseniy Zaostrovnykh (a.k.a Necto)

online-cv

A minimal Jekyll Theme to host your resume (CV)

organice

An implementation of Org mode without the dependency of Emacs - built for mobile and desktop browsers

orgzly-revived-test

pandoc

GitHub action to run pandoc

particles-in-gif

PiShrink

Make your pi images smaller!

PX4-Autopilot

PX4 Autopilot Software

rspec

Rule Specification

sc-playground

Play with C++ analysis in SonarCloud

sonarlint-mockplugin

A trivial SonarLint plugin that predictable generates an issue or two, used for testing SonarLint integration

verifast

Research prototype tool for modular formal verification of C and Java programs