Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

505–528 of 2,340 · Most stars

🔧 pyinfra turns Python code into shell commands and runs them on your servers. Execute ad-hoc commands and write declarative operations. Target SSH servers, local machine and Docker containers. Fast and scales from one server to thousands.

Production-safe dynamic tracing and diagnostics for Java applications—attach to live JVMs with no restart or recompilation.

  • btrace
  • java
  • bytecode-instrumentation
  • diagnostics

Generic command line non-JVM Apache Kafka producer and consumer

mlpack: a fast, header-only C++ machine learning library

  • machine-learning-library
  • c-plus-plus
  • deep-learning
  • nearest-neighbor-search

The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Fawkes, privacy preserving tool against facial recognition systems. More info at https://sandlab.cs.uchicago.edu/fawkes

  • privacy-protection
  • privacy-enhancing-technologies
  • face-recognition
  • adversarial-machine-learning

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 Adversarial Network (GAN) with LSTM, a type of Recurrent Neural Network, as generator, and a Convolutional Neural Network, CNN, as a discriminator. We use LSTM for the obvious reason that we are trying to predict time series data. Why we use GAN and specifically CNN as a discriminator? That is a good question: there are special sections on that later.