j-sokol Goto Github PK
Name: Jan Sokol
Type: User
Company: FIT CTU, Kobenhavns Universitet
Location: Prague
Name: Jan Sokol
Type: User
Company: FIT CTU, Kobenhavns Universitet
Location: Prague
Implementation of 3-SAT problem using genetic algorithm.
Contributed integrations, plugins and custom webhooks
Alerta Web UI 3.0
A utility to list and activate Azure AD PIM roles from the CLI
Command line tool to list and activate Azure PIM Role Assignments.
Azure Monitor metrics exporter for Prometheus with dimension support, template engine and ServiceDiscovery
Prometheus exporter for Azure ResourceGraph queries
Set of lambda functions creating metrics and alarms in Cloudwatch, with output to Slack
Tool for labeling PRs at GitHub by globs.
Reimplementation of Flappy Bird in console. In Go, with tcell lib.
an application that automates the lifecycle of servers
Script that creates animation of gnuplot frames from plaintext input files.
personal webpage; used on domain weedtime.cz
Impelentation of well known knapsack problem using various algorithms.
ncurses pacman written in C++
Debian package of collectd
A reimplementation of the MobilePASS client in Python, with Python3.6+ supported. With multidevice synchronisation via S3 bucket.
Interpreter for JavaSript subset in Haskell
Parser for JavaSript subset in Haskell
Learning TCP standard implementation in ANSI C
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.