necto Goto Github PK

apliko

arblog

Blog engine

archtoys

2 architectures 2 simulators, a compiler and a binary translator. MIPT students group

asciidag

cl-gallery

a simple picture gallery based on hunchentoot/restas framework

cl-graphviz

Adaptaion of an outdated cl-graphviz by Attila Lendvai to the modern version of libgvc.so.6.

compiler-explorer

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

config

my configuration(dot-) files

cpp-demo

denfer

Dynamic crossplatform (windows/linux) profiler with GUI(QT).

docker-webdav

NGINX WebDAV container

dotfiles

my configuration files

example-vnds

A demonstration set of bugs that are ruled out by the VNDS project.

ext-blog

ext-blog is a common lisp blog engine. It supports custom theme and you can port a WordPress theme for it.

famgraph

A genealogy tree viewer and redactor

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-sonarlint

lsp-mode :heart: sonarlint

malinka

A C/C++ project configuration package for Emacs

minimal-cloud

mock-midterm

a mock midterm repository for the sweng'18 class

natty

Natty is for listening and searching music.

necto.github.io

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

online-cv

A minimal Jekyll Theme to host your resume (CV)