martonbognar/equation-solver

Stars
1
Language
Prolog
Created about 5 years ago
Updated about 5 years ago

martonbognar/equation-solver

martonbognar

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

A chemical equation parser and solver in Prolog.

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.

vagrant-nginx-php-mysql

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

safedrunk.com

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

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.