Discover @mgrabovsky Open Source projects

Matěj (@mgrabovsky)

mgrabovsky

Stars
34
Global Rank 448,285 (Top 16 %)
Followers 23
Following 69
Registered about 15 years ago
Most used languages

Vim Script
25.0 %

CSS
12.5 %

Coq 12.5 %

Python
12.5 %

Haskell
12.5 %

TypeScript
12.5 %

OCaml
12.5 %
Location 🇨🇿 Czechia
Country Total Rank 1,746
Country Ranking

Coq 1

OCaml
8

Haskell
24

Vim Script
28

CSS
295

TypeScript
550

Python
1,555

fm-notes

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

simurgh

Dependently typed purely functional programming language

vim-cuesheet

Cue sheet syntax higlighting for Vim

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

vim-xverif

Rudimentary Vim syntax highlighting for multiple formal verification-related tools

mgrabovsky.github.io

cryptoverif-py-lib

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