evdenis

acsl-proved

Fully proved small C functions (examples for verification course).

mini-gmp

Port of mini-gmp library to kernel. minigmp.ko linux kernel module.

acsl-examples

Tiny programs with ACSL specifications.

ldv-rules

Rules for LDV project (http://linuxtesting.org/project/ldv).

kmem

An example of kernel module for arbitrary memory access

evernote-firefox-webclipper

Firefox addon with custom shortcuts.

generate-cpanfile

Grep perl files in directory. Generates cpanfile according to use directives. Excludes core modules.

yargen

Tool to automate the development of yara rules (CVEs in perl modules) for PT Approof.

acslinux

ACSL specifications for LSM interface

e-acsl

Port of Frama-C E-ACSL plugin to AstraVer version of framework.

base-model

First level of the Event-B specification of the MROSL DP-model (with role-based access control)

check_headers

utility for finding typos in headers guards (c language .h files)

do-vpn

Automatically start and stop DigitalOcean VPN droplet.

latest_kernel

Monitor https://www.kernel.org/ and perform different actions (download/compile/notify) on kernel release.

ttrss_plugin-feediron

Evolution of ttrss_plugin-af_feedmod

abc

Free theme for your Ghost blog

contiki-ng-orig

Contiki-NG: The OS for Next Generation IoT Devices

export_checking

Check Linux kernel __init and __exit functions for exporting as EXPORT_SYMBOL*

ifc

Just a small project for analysis of inter-faculty courses of MSU

katechon

lp-bilets

Robot for automatic booking of billets on LinkinPark concert

perl-examples

Small perl programs.

simple-algo

Educational repository.

sprute

x509-parser

a RTE-free X.509 parser