mgrabovsky Goto Github PK
Name: Matěj
Type: User
Company: Fakta o klimatu
Location: Czechia
Blog: https://mgrabovsky.net/
Name: Matěj
Type: User
Company: Fakta o klimatu
Location: Czechia
Blog: https://mgrabovsky.net/
Old articles typeset in modern LaTeX
An example of an interactive bubble chart (à la Hans Rosling) using React, D3.js and TypeScript
Quick & dirty codepad submitter written in Python; requires Requests
Python implementations for CryptoVerif 1.23 (outdated)
Python implementations for CryptoVerif – Python library and examples. No longer maintained.
A very rough extract of some of my config files
🏭🗲🔌 A simple model of the Czech electricity grid
Teplotní extrémy v ČR
Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on
A hackish scraper for some fotbal.cz data (dysfunctional)
RPM spec file for the HiGHS optimization software
Cheatsheet with HTTP Status Codes via terminal command - based on httpstatuses.com
A directory of HTTP Status Codes and code references
Hosts the website for mathlib and other Lean community infrastructure.
Lean mathematical components library
A couple of unassorted Processing sketches
A fork of a very small C interpreter
A Python scraper of second-hand website Vinted
My personal experiments with Michael Gottlieb's qqTimer.
Refinement types + dependent types = ❤️
Network of RFCs
Fedora-specific data and configuration files used by rpminspect
Dependently typed purely functional programming language
An arbitrary-precision integer arithmetic library and some number-theoretic algorithms from 'A Course in Computational Algebraic Number Theory' by H. Cohen (Springer, 1993)
Silly little WWW watchdog
Using GnuTLS, LibreSSL, PyOpenSSL and Python stdlib's ssl to establish secure TLS tunnels.
Establishing a TLS connection in C using OpenSSL, GnuTLS, mbed TLS.
Penn's CIS 194 course's homeworks
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.