Showing 33 open source projects for "theory"

View related business solutions
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • Cut Data Warehouse Costs by 54% Icon
    Cut Data Warehouse Costs by 54%

    Easily migrate from Snowflake, Redshift, or Databricks with free tools.

    BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
    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
    Cytoscape.js

    Cytoscape.js

    Graph theory library for visualization and analysis

    A fully featured graph library written in pure JS. Permissive open source license (MIT) for the core Cytoscape.js library and all first-party extensions. Used in commercial projects and open-source projects in production. Designed for users first, for both frontfacing app usecases and developer usecases. Highly optimized. Compatible with All modern browsers. Legacy browsers with ES5 and canvas support. ES5 and canvas support are required, and feature detection is used for optional...
    Downloads: 7 This Week
    Last Update:
    See Project
  • 3
    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
  • 4
    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
  • PRTG Catches Network Issues Before They Cause Downtime Icon
    PRTG Catches Network Issues Before They Cause Downtime

    Threshold-based alerts flag problems early, so your team can act before users notice, not after.

    Reactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
    Download 30-Day Trial
  • 5
    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
  • 6
    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
  • 7
    LeetCode Master

    LeetCode Master

    About "Code Thoughts" LeetCode Practice Guide: 200 classic questions

    ...The repository contains detailed explanations, categorized problem sets, and step-by-step reasoning behind solutions, making it an effective study companion for developers preparing for technical interviews. Problems are grouped by topic—such as arrays, linked lists, dynamic programming, greedy algorithms, and graph theory—so learners can focus on specific areas systematically. Each solution is accompanied by clear commentary to explain the thought process, algorithm design, and complexity analysis. The project is continuously updated and widely used by learners as both a reference and a roadmap to progress from beginner to advanced LeetCode practice. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 8
    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
  • 9
    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
  • Ship Agents Faster Icon
    Ship Agents Faster

    Transform your applications and workflows into powerful agentic systems at global scale.

    Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
    Start Free
  • 10
    F2

    F2

    An elegant, interactive and flexible charting library for mobile

    F2 is an out-of-the-box visualization engine focused on the mobile terminal, oriented to conventional statistical charts, perfectly supporting the H5 environment and compatible with multiple environments (Node, applet), complete graphics grammar theory, to meet your various visualization needs , professional mobile design guidelines to bring you the best mobile graphics experience. Best practices for moving side charts around design, performance and heterogeneous environments. Based on the grammar of graphics, Flexible construction of various charts (50+), complete components, covering various scenarios. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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
  • 12
    Hacker Laws

    Hacker Laws

    Laws, theories, principles and patterns useful to developers

    ...Principles and laws to follow such as: If a program is made up of two parts, part A, which must be executed by a single processor, and part B, which can be parallelised, then we see that adding multiple processors to the system executing the program can only have a limited benefit. It can potentially greatly improve the speed of part B - but the speed of part A will remain unchanged. Also, theories like The Broken Windows Theory, which suggests that visible signs of crime (or lack of care of an environment) lead to further and more serious crimes (or further deterioration of the environment). Conway's Law suggests that the technical boundaries of a system will reflect the structure of the organisation. These among others, are featured in this project.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    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
  • 14
    Fuzzy sets for Ada

    Fuzzy sets for Ada

    Fuzzy sets, logic, numbers; intuitionistic fuzzy sets, fuzzy linguis

    Fuzzy sets for Ada is a library providing implementations of confidence factors with the operations not, and, or, xor, +, and *, classical fuzzy sets with the set-theoretic operations and the operations of the possibility theory, intuitionistic fuzzy sets with the operations on them, fuzzy logic based on the intuitionistic fuzzy sets and the possibility theory; fuzzy numbers, both integer and floating-point with conventional arithmetical operations, and linguistic variables and sets of linguistic variables with operations on them. String-oriented I/O is supported. ...
    Downloads: 4 This Week
    Last Update:
    See Project
  • 15
    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
  • 16
    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
  • 17
    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
  • 18
    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
  • 19
    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
  • 20
    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
  • 21
    DeepLearning

    DeepLearning

    Deep Learning (Flower Book) mathematical derivation

    ...The full name is also called the Deep Learning AI Bible (Deep Learning) . It is edited by three world-renowned experts, Ian Goodfellow, Yoshua Bengio, and Aaron Courville. Includes linear algebra, probability theory, information theory, numerical optimization, and related content in machine learning. At the same time, it also introduces deep learning techniques used by practitioners in the industry, including deep feedforward networks, regularization, optimization algorithms, convolutional networks, sequence modeling and practical methods, and investigates topics such as natural language processing, Applications in speech recognition, computer vision, online recommender systems, bioinformatics, and video games. ...
    Downloads: 1 This Week
    Last Update:
    See Project
  • 22
    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
  • 23
    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
  • 24
    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
  • 25
    PyTorch Book

    PyTorch Book

    PyTorch tutorials and fun projects including neural talk

    ...Legacy code has better python2/python3 compatibility, CPU/GPU compatibility test. The new version of the code has not been fully tested, it has been tested under GPU and python3. But in theory there shouldn't be too many problems on python2 and CPU. The basic part (the first five chapters) explains the content of PyTorch. This part introduces the main modules in PyTorch and some tools commonly used in deep learning. For this part of the content, Jupyter Notebook is used as a teaching tool here, and readers can modify and run with notebooks and repeat experiments.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • 2
  • Next