22 projects for "theory" with 2 filters applied:

  • One Monitoring Tool for IT, OT and Cloud | Free Trial Icon
    One Monitoring Tool for IT, OT and Cloud | Free Trial

    Vendor-agnostic monitoring across on-prem servers, cloud platforms and OT devices, all in one dashboard. No more tool sprawl.

    Modern infrastructure spans data centers, cloud platforms and factory floors, and every blind spot between them is a risk. PRTG supports SNMP, WMI, SSH and other standard protocols to monitor IT, OT and hybrid environments through one customizable dashboard. Build the views your team needs, from network health to application performance, without switching tools. Try PRTG free for 30 days now.
    Try PRTG Free
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Start Free
  • 1
    Proxy

    Proxy

    Proxy: Next Generation Polymorphism in C++

    ...To workaround these drawbacks, some languages like Java or C# choose to sacrifice performance by introducing GC to facilitate lifetime management, and JIT-compile the source code at runtime to generate full metadata. We improved the theory and implemented it as a C++ library without sacrificing performance, proposing to merge it into the C++ standard.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 2
    Go by Example

    Go by Example

    1000+ Hand-Crafted Go Examples, Exercises, and Quizzes

    ...English content is complete, while Spanish and Chinese translations are works in progress. The repository emphasizes learning by doing instead of relying mainly on long-form theory.
    Downloads: 2 This Week
    Last Update:
    See Project
  • 3
    The Agda standard library

    The Agda standard library

    The Agda standard library

    ...If computational performance is important to you, then perhaps try agda-prelude instead. Agda is a dependently typed programming language. It is an extension of Martin-Löf’s type theory and is the latest in the tradition of languages developed in the programming logic group at Chalmers. Other languages in this tradition are Alf, Alfa, Agda 1, Cayenne. Some other loosely related languages are Coq, Epigram, Idris, and Lean.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 4
    JavaFamily

    JavaFamily

    Java Interview + Java Study Guide

    ...The repository also emphasizes interview preparation, making it useful for developers seeking to improve their job prospects. It reflects real-world practices and industry standards, helping users bridge the gap between theory and application.
    Downloads: 0 This Week
    Last Update:
    See Project
  • $300 Free Credits to Build on Google Cloud Icon
    $300 Free Credits to Build on Google Cloud

    New customers can spin up VMs, build with AI, and query data at no cost.

    Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
    Start Free
  • 5
    Introduction-NLP

    Introduction-NLP

    Detailed notes on HanLP's new book, "Introduction to Natural Language"

    Introduction NLP is a Chinese-language study-notes repository based on the book Introduction to Natural Language Processing by the author of HanLP. It explains NLP concepts in accessible language while pairing theory with practical implementation notes. The material begins with basic concepts and Chinese word segmentation before progressing into statistical sequence models. Later chapters cover part-of-speech tagging, named entity recognition, information extraction, text clustering, text classification, dependency parsing, and deep learning. ...
    Downloads: 2 This Week
    Last Update:
    See Project
  • 6
    Machine Learning Tutorials Repository

    Machine Learning Tutorials Repository

    Dive deep into the realms of Machine Learning and other topics

    ...The repository also serves as a reference for common patterns and workflows in machine learning development. By combining educational content with hands-on examples, it bridges the gap between theory and practice.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Hacking with Swift

    Hacking with Swift

    The project source code for Hacking with iOS

    ...Each project is designed to reinforce specific concepts such as UI design, data handling, animations, and app architecture. The material emphasizes hands-on learning, encouraging users to build real applications rather than passively consume theory. It is continuously updated to align with the latest versions of Swift, Xcode, and iOS, ensuring relevance for modern development practices.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    Measurements.jl

    Measurements.jl

    Error propagation calculator and library for physical measurements

    ...Measurements.jl relieves you from the hassle of propagating uncertainties coming from physical measurements, when performing mathematical operations involving them. The linear error propagation theory is employed to propagate the errors.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    Scalaz

    Scalaz

    Principled Functional Programming in Scala

    ...Scalaz also contributes optics, equality/ordering abstractions, and lawful instances with property-based tests to ensure algebraic laws hold. While the Scala ecosystem now includes sibling projects, Scalaz remains a deep toolbox for principled FP in Scala and a reference point for category-theory-inspired design on the JVM.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Go from Code to Production URL in Seconds Icon
    Go from Code to Production URL in Seconds

    Cloud Run deploys apps in any language instantly. Scales to zero. Pay only when code runs.

    Skip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
    Start Free
  • 10
    Awesome Network Analysis

    Awesome Network Analysis

    A curated list of awesome network analysis resources

    awesome-network-analysis is a curated list of resources focused on network and graph analysis, including libraries, frameworks, visualization tools, datasets, and academic papers. It covers multiple programming languages and domains like sociology, biology, and computer science. This repository serves as a central reference for researchers, analysts, and developers working with network data.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    Introduction to Programming Principles

    Introduction to Programming Principles

    Categorized overview of Programming Principles & Patterns

    Introduction to Programming Principles is a living catalog of fundamental software development principles collected in one place so developers can reference and teach them easily. It documents well-known concepts like SOLID, DRY, KISS, YAGNI, and others, and explains when and why to apply them. The goal is to move principles from being fuzzy tribal knowledge to explicit, written, teachable guidelines. Because it’s on GitHub, it can evolve as the community suggests new principles,...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    quantitative

    quantitative

    Quantized transactions python3

    The “quantitative” repository by Jack-Cherish is a tutorial-style codebase for quantitative trading written in Python — essentially a learning resource that guides users through building algorithmic trading strategies step by step. It’s organized as a sequence of lessons (lesson1, lesson2, etc.), making it approachable for learners who want to understand both theory and practice in quantitative finance. The repo is evidently tied to a popular video series (on Bilibili) that reportedly drew substantial attention, suggesting the material is meant to be both educational and hands-on. The README and associated lessons walk the user through implementing algorithms, likely covering data handling, backtesting, and maybe simple trading logic. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    Awesome Conformal Prediction

    Awesome Conformal Prediction

    A professionally curated list of awesome Conformal Prediction videos

    awesome-conformal-prediction is a curated “awesome list” repository on GitHub collecting high-quality resources related to conformal prediction: tutorials, books, papers, theses, open-source libraries, videos, and other educational material. It is not a software library itself but a directory of resources for those wanting to learn or work with conformal prediction and uncertainty quantification. This exceptional resource is the culmination of my PhD journey in Machine Learning, specializing...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Advanced CSS Course

    Advanced CSS Course

    Starter files, final projects and FAQ for my Advanced CSS course

    ...The repository focuses on modern CSS techniques such as Sass, responsive layouts, animations, Flexbox, CSS Grid, and reusable design patterns. It also includes downloadable course slides, making it easier to follow the theory portions alongside the hands-on projects. The code is meant for learning rather than production reuse, but it provides clear examples of how advanced CSS concepts are applied in real interfaces. It is best suited for students who already know basic HTML and CSS and want to move into polished, professional frontend styling.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    Game-Programmer-Study-Notes

    Game-Programmer-Study-Notes

    A collection of reading notes from my career as a game programmer

    ...The repository is structured to guide learners through fundamental and advanced concepts, making it suitable for both beginners and experienced programmers. It includes insights from industry practices as well as academic knowledge, bridging the gap between theory and real-world application. The content is often supplemented with diagrams, examples, and explanations that clarify complex topics. By consolidating resources into a single repository, it reduces the need to search across multiple sources. Overall, it serves as a valuable learning hub for mastering game development concepts.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    threadandjuc

    threadandjuc

    High performance three-high-import import system

    ...It is especially useful for Java developers preparing for interviews or improving their understanding of production-level concurrency patterns. Some material also explores large-scale import and high-throughput reporting scenarios, connecting theory to real performance problems. Its main value is giving learners a structured way to study Java concurrency beyond isolated code snippets.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    Probability Cheatsheet

    Probability Cheatsheet

    A comprehensive 10-page probability cheatsheet

    The probability_cheatsheet is a cheat sheet repository that summarizes key probability theory concepts, formulas, distributions, and properties in a concise format. It likely includes definitions of random variables, PMFs and PDFs, expectations, variance, common distributions (e.g. binomial, normal, Poisson, exponential), conditional probability, Bayes’ theorem, moment generating functions, and perhaps important inequalities (Markov, Chebyshev, Chernoff).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    data-science-ipython-notebooks

    data-science-ipython-notebooks

    Data science Python notebooks: Deep learning

    ...The collection is suitable for self-paced study, quick reference, or as teaching materials in workshops. By combining narrative explanations with executable code, it shortens the path from theory to working prototypes.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    go-best-practice

    go-best-practice

    Trying to complete over 100 projects in various categories in golang

    go-best-practice is essentially a Go book and code collection called “Go 实战开发” (“Go in Practice”), born from the idea of building over 100 practical projects in different categories using Go. It combines an ebook/zh directory with written chapters and a src directory that holds the corresponding source code, so readers can move seamlessly between theory and practice. The goal is to help developers go beyond basic syntax and actually build real applications, drawing inspiration from similar “projects” collections in other languages. It emphasizes hands-on learning, using many small, focused examples to demonstrate real-world usage patterns, not just contrived snippets. The project is also community-oriented, with donation links, forums, and a dedicated QQ group for discussion and feedback. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    ng-demos

    ng-demos

    Variety of angular demos

    ...The project also highlights real-world scenarios, helping users understand how Angular features are applied in production-like environments. It serves as a companion resource to educational materials and presentations by John Papa. By providing working examples, it bridges the gap between theory and practice.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    Java library offering theory of sets/set theory functionality (complement, intersection, symetric difference, union, cartesian product and powerset). There's also an ant task/ant tasks included that provides the library's functionality
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    This STL-like C++ library contains classes for long integer numbers processing with using of assembler functions as a backend. Lazy evaluation is also used for optimization. It also contains generic implementation of classical number-theory algorithms.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next