-
-
proceedings Public
Forked from ispras/proceedingsProceedings of ISP RAS LaTeX Template
TeX UpdatedApr 28, 2020 -
enable_eng Public
Magisk Module to enable engineering build props
-
base-model Public
Forked from 17451k/base-modelFirst level of the Event-B specification of the MROSL DP-model (with role-based access control)
-
contiki-ng-orig Public
Forked from contiki-ng/contiki-ngContiki-NG: The OS for Next Generation IoT Devices
C BSD 3-Clause "New" or "Revised" License UpdatedJul 24, 2019 -
x509-parser Public
Forked from ANSSI-FR/x509-parsera RTE-free X.509 parser
C Other UpdatedJun 26, 2019 -
-
kmem Public archive
An example of kernel module for arbitrary memory access
-
ttrss_plugin-feediron Public archive
Forked from feediron/ttrss_plugin-feedironEvolution of ttrss_plugin-af_feedmod
-
abc Public
Forked from juliancwirko/abcFree theme for your Ghost blog
CSS MIT License UpdatedSep 16, 2018 -
latest_kernel Public archive
Monitor https://www.kernel.org/ and perform different actions (download/compile/notify) on kernel release.
-
export_checking Public archive
Check Linux kernel __init and __exit functions for exporting as EXPORT_SYMBOL*
Perl GNU General Public License v3.0 UpdatedJun 16, 2018 -
-
-
acsl-proved Public
Fully proved small C functions (examples for verification course).
-
yargen Public archive
Tool to automate the development of yara rules (CVEs in perl modules) for PT Approof.
-
acsl-examples Public
Tiny programs with ACSL specifications.
-
e-acsl Public archive
Port of Frama-C E-ACSL plugin to AstraVer version of framework.
-
mini-gmp Public
Port of mini-gmp library to kernel. minigmp.ko linux kernel module.
-
do-vpn Public archive
Automatically start and stop DigitalOcean VPN droplet.
-
generate-cpanfile Public archive
Grep perl files in directory. Generates cpanfile according to use directives. Excludes core modules.
-
-
ifc Public archive
Just a small project for analysis of inter-faculty courses of MSU
Perl MIT License UpdatedDec 18, 2015 -
evernote-firefox-webclipper Public
Firefox addon with custom shortcuts.
-
lp-bilets Public archive
Robot for automatic booking of billets on LinkinPark concert
Perl MIT License UpdatedApr 16, 2015 -
-
ldv-rules Public archive
Rules for LDV project (http://linuxtesting.org/project/ldv).
-
check_headers Public archive
utility for finding typos in headers guards (c language .h files)
{{ message }}