mgrabovsky

fm-notes

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

simurgh

Dependently typed purely functional programming language

cryptoverif

Python implementations for CryptoVerif 1.23 (outdated)

bubble-chart

An example of an interactive bubble chart (à la Hans Rosling) using React, D3.js and TypeScript

cryptoverif-py-lib

Python implementations for CryptoVerif – Python library and examples. No longer maintained.

mgrabovsky.github.io

vim-xverif

Rudimentary Vim syntax highlighting for multiple formal verification-related tools

electric-waltz

🏭🗲🔌 A simple model of the Czech electricity grid

extremni-appka

Teplotní extrémy v ČR

sms

Silly little WWW watchdog

articles

Old articles typeset in modern LaTeX

dotfiles

A very rough extract of some of my config files

fotbalcz-scraper

A hackish scraper for some fotbal.cz data (dysfunctional)

graphql-codegen

highs-rpm

RPM spec file for the HiGHS optimization software

httpstatuses

Cheatsheet with HTTP Status Codes via terminal command - based on httpstatuses.com

httpstatuses-1

A directory of HTTP Status Codes and code references

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

mathlib

Lean mathematical components library

p9

A couple of unassorted Processing sketches

picoc

A fork of a very small C interpreter

Pynted

A Python scraper of second-hand website Vinted

qqTimer

My personal experiments with Michael Gottlieb's qqTimer.

refinedt

Refinement types + dependent types = ❤️

rfc-network

Network of RFCs

rpminspect-data-fedora

Fedora-specific data and configuration files used by rpminspect

smallnum

An arbitrary-precision integer arithmetic library and some number-theoretic algorithms from 'A Course in Computational Algebraic Number Theory' by H. Cohen (Springer, 1993)

tls-petting-zoo

Using GnuTLS, LibreSSL, PyOpenSSL and Python stdlib's ssl to establish secure TLS tunnels.

tls-playground

Establishing a TLS connection in C using OpenSSL, GnuTLS, mbed TLS.

www

The main website for Write the Docs.