Git Product home page Git Product logo

Hubenix's Projects

coqhammer icon coqhammer

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

core icon core

Home repository for .NET Core

cpp-vscode-guide icon cpp-vscode-guide

A small guide for C/C++ developers to useful extensions to unleash the power of Visual Studio Code

credo icon credo

A static code analysis tool for the Elixir language with a focus on code consistency and teaching.

cryptography icon cryptography

cryptography is a package designed to expose cryptographic primitives and recipes to Python developers.

cs9dotnet5 icon cs9dotnet5

Repository for the Packt Publishing book titled "C# 9 and .NET 5 - Modern Cross-Platform Development" by Mark J. Price

datachallenges icon datachallenges

DataHack Challenges - The hackathon challenges offered by top data companies

dbda-python icon dbda-python

Doing Bayesian Data Analysis, 2nd Edition (Kruschke, 2015): Python/PyMC3 code

deep-learning-specialization-coursera icon deep-learning-specialization-coursera

Deep Learning Specialization Course by Coursera. Neural Networks, Deep Learning, Hyper Tuning, Regularization, Optimization, Data Processing, Convolutional NN, Sequence Models are including this Course.

deep_learning_2018-19 icon deep_learning_2018-19

Официальный репозиторий курса Deep Learning (2018-2019) от Deep Learning School при ФПМИ МФТИ

dev-ops icon dev-ops

Template for setting up a simple dev-ops pipeline for your Python code including code-analysis, testing and deployment.

dev-ops-admin icon dev-ops-admin

Command-line interface for creating and managing a Python project template for code-analysis, testing and deployment.

devops-governance icon devops-governance

Example end-to-end Governance Model from CI/CD to Azure Resource Manager. Use this project to deploy example AAD, ARM and Azure DevOps resources to learn about e2e RBAC.

devops-resources icon devops-resources

DevOps resources - Linux, Jenkins, AWS, SRE, Prometheus, Docker, Python, Ansible, Git, Kubernetes, Terraform, OpenStack, SQL, NoSQL, Azure, GCP

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo 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.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.