martonbognar/kuifje martonbognar/kuifje

  • Stars
    star
    6
  • Rank 2,539,965 (Top 51 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 5 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
martonbognar/kuifje
github

martonbognar

Reviews

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

Repository Details

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.

More Repositories

1

vcdvis

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

gap-attacks

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

website-watcher

Check for changes in the content of websites.
Python
8
star
4

vagrant-nginx-php-mysql

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

safedrunk.com

Keep track of your alcohol consumption and current blood alcohol level.
PHP
1
star
6

equation-solver

A chemical equation parser and solver in Prolog.
Prolog
1
star
7

martonbognar.github.io

The code powering mici.hu.
HTML
1
star
8

microprofiler

MicroProfiler: Principled Side-Channel Mitigation through Microarchitectural Profiling
Python
1
star
9

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.
C
1
star