martonbognar/vagrant-nginx-php-mysql

This repository has been archived on 04/Jul/2019
Stars
4
Rank 3,304,323 (Top 66 %)
Language
Shell
Created about 10 years ago
Updated almost 9 years ago

martonbognar/vagrant-nginx-php-mysql

martonbognar

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A vagrant box for setting up websites on a 32-bit virtual machine with pure nginx, PHP and MySQL.

vcdvis

VCD visualizer: view your waveforms in ASCII format, or export them to TikZ figures.

gap-attacks

The top repository for the code accompanying our paper "Mind the Gap: Studying the Insecurity of Provably Secure Embedded Trusted Execution Architectures".

website-watcher

Check for changes in the content of websites.

kuifje

A prototype for a Quantitative Information Flow aware programming language, based on the paper: "Quantitative Information Flow with Monads in Haskell" by Jeremy Gibbons, Annabelle McIver, Carroll Morgan, and Tom Schrijvers.

safedrunk.com

Keep track of your alcohol consumption and current blood alcohol level.

equation-solver

A chemical equation parser and solver in Prolog.

martonbognar.github.io

The code powering mici.hu.

microprofiler

MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling

stm32-morse

A simple program on the F4 Discovery board that converts the incoming text through UART to morse code, sends it back using . and - characters and signals it with the onboard LED.