Stars
Apache Superset is a Data Visualization and Data Exploration Platform
Toturials coming with the "data science roadmap" picture.
A Python library that provides an easy way to identify devices like mobile phones, tablets and their capabilities by parsing (browser) user agent strings.
Visualize large time series data with plotly.py
RPyC (Remote Python Call) - A transparent and symmetric RPC library for python
A modular SQL linter and auto-formatter with support for multiple dialects and templated code.
A list of Free Software network services and web applications which can be hosted on your own servers
Auditing crates for unsafe code which can be safely replaced
A cryptographically verifiable code review system for the cargo (Rust) package manager.
In this noteboook I will create a complete process for predicting stock price movements. Follow along and we will achieve some pretty good results. For that purpose we will use a Generative Advers…
📚 Collaborative cheatsheets for console commands
BeakerLib is a shell-level integration testing library, providing convenience functions which simplify writing, running and analysis of integration and blackbox tests.
DIVINE model checker git mirror, https://divine.fi.muni.cz. This is a read-only mirror of the main darcs repository. Issues should be reported using https://divine.fi.muni.cz/trac/report/1. Pull re…
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
A curated list of awesome C++ (or C) frameworks, libraries, resources, and shiny things. Inspired by awesome-... stuff.
CAAL (Concurrency Workbench, Aalborg Edition) is a web-based tool for modelling, visualization and verification of concurrent processes expressed in the well-known CCS language (Calculus of Communi…
ShellCheck, a static analysis tool for shell scripts
Range library for C++14/17/20, basis for C++20's std::ranges
Elixir is a dynamic, functional language for building scalable and maintainable applications