mgrabovsky Goto Github PK
Name: Matěj
Type: User
Company: Fakta o klimatu
Location: Czechia
Blog: https://mgrabovsky.net/
Matěj's Projects
articles
Old articles typeset in modern LaTeX
bubble-chart
An example of an interactive bubble chart (à la Hans Rosling) using React, D3.js and TypeScript
codepadize
Quick & dirty codepad submitter written in Python; requires Requests
cryptoverif
Python implementations for CryptoVerif 1.23 (outdated)
cryptoverif-py-lib
Python implementations for CryptoVerif – Python library and examples. No longer maintained.
dotfiles
A very rough extract of some of my config files
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
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
mgrabovsky.github.io
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
simurgh
Dependently typed purely functional programming language
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)
sms
Silly little WWW watchdog
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.
upenn-cis194
Penn's CIS 194 course's homeworks
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.