Pinned Repositories
bubble-chart
An example of an interactive bubble chart (à la Hans Rosling) using React, D3.js and TypeScript
cryptoverif
Python implementations for CryptoVerif 1.23 (outdated)
electric-waltz
🏭🗲🔌 A simple model of the Czech electricity grid
extremni-appka
Teplotní extrémy v ČR
fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
simurgh
Dependently typed purely functional programming language
sms
Silly little WWW watchdog
vim-cuesheet
Cue sheet syntax higlighting for Vim
mgrabovsky's Repositories
mgrabovsky/fm-notes
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
mgrabovsky/simurgh
Dependently typed purely functional programming language
mgrabovsky/cryptoverif
Python implementations for CryptoVerif 1.23 (outdated)
mgrabovsky/bubble-chart
An example of an interactive bubble chart (à la Hans Rosling) using React, D3.js and TypeScript
mgrabovsky/cryptoverif-py-lib
Python implementations for CryptoVerif – Python library and examples. No longer maintained.
mgrabovsky/mgrabovsky.github.io
mgrabovsky/vim-xverif
Rudimentary Vim syntax highlighting for multiple formal verification-related tools
mgrabovsky/electric-waltz
🏭🗲🔌 A simple model of the Czech electricity grid
mgrabovsky/extremni-appka
Teplotní extrémy v ČR
mgrabovsky/sms
Silly little WWW watchdog
mgrabovsky/articles
Old articles typeset in modern LaTeX
mgrabovsky/dotfiles
A very rough extract of some of my config files
mgrabovsky/fotbalcz-scraper
A hackish scraper for some fotbal.cz data (dysfunctional)
mgrabovsky/graphql-codegen
mgrabovsky/highs-rpm
RPM spec file for the HiGHS optimization software
mgrabovsky/httpstatuses
Cheatsheet with HTTP Status Codes via terminal command - based on httpstatuses.com
mgrabovsky/httpstatuses-1
A directory of HTTP Status Codes and code references
mgrabovsky/leanprover-community.github.io
Hosts the website for mathlib and other Lean community infrastructure.
mgrabovsky/mathlib
Lean mathematical components library
mgrabovsky/p9
A couple of unassorted Processing sketches
mgrabovsky/picoc
A fork of a very small C interpreter
mgrabovsky/Pynted
A Python scraper of second-hand website Vinted
mgrabovsky/qqTimer
My personal experiments with Michael Gottlieb's qqTimer.
mgrabovsky/refinedt
Refinement types + dependent types = ❤️
mgrabovsky/rfc-network
Network of RFCs
mgrabovsky/rpminspect-data-fedora
Fedora-specific data and configuration files used by rpminspect
mgrabovsky/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)
mgrabovsky/tls-petting-zoo
Using GnuTLS, LibreSSL, PyOpenSSL and Python stdlib's ssl to establish secure TLS tunnels.
mgrabovsky/tls-playground
Establishing a TLS connection in C using OpenSSL, GnuTLS, mbed TLS.
mgrabovsky/www
The main website for Write the Docs.