Pinned Repositories
double-conversion
Efficient binary-decimal and decimal-binary conversion routines for IEEE doubles.
dhcpcd
DHCP / IPv4LL / IPv6RA / DHCPv6 client.
double-conversion
Efficient binary-decimal and decimal-binary conversion routines for IEEE doubles.
flashrom
Send patches to review.coreboot.org: https://www.flashrom.org/Development_Guidelines#GitHub
ICFP-Contest-2012-Simulator
Summer practice in SPbPU
icu
The new home of the ICU project source code.
memory-card-utils
mu-recursive-function-simulator
SAT-solver
A simple SAT-solver running a DPLL algorithm. Format of input file is the DIMACS format.
SunRadio
Convert music according to the light level
vkremneva's Repositories
vkremneva/dhcpcd
DHCP / IPv4LL / IPv6RA / DHCPv6 client.
vkremneva/double-conversion
Efficient binary-decimal and decimal-binary conversion routines for IEEE doubles.
vkremneva/flashrom
Send patches to review.coreboot.org: https://www.flashrom.org/Development_Guidelines#GitHub
vkremneva/ICFP-Contest-2012-Simulator
Summer practice in SPbPU
vkremneva/icu
The new home of the ICU project source code.
vkremneva/memory-card-utils
vkremneva/mu-recursive-function-simulator
vkremneva/SAT-solver
A simple SAT-solver running a DPLL algorithm. Format of input file is the DIMACS format.
vkremneva/SunRadio
Convert music according to the light level