Search Results for "theory"
Sort By:
Showing 672 open source projects for "theory"
View related business solutions-
One Monitoring Tool for IT, OT and Cloud | Free TrialModern 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.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
AiLearning-Theory-Applying
Quickly get started with AI theory and practical applications
AiLearning-Theory-Applying is a comprehensive educational repository designed to help learners quickly understand artificial intelligence theory and apply it in practical machine learning and deep learning projects. The repository provides extensive tutorials covering mathematical foundations, machine learning algorithms, deep learning concepts, and modern large language model architectures. -
2
PLT (Programming Languages Theory)
Programming Language Theory
Curated roadmap to Programming Language Theory, collecting seminal papers, books, and resources into a navigable structure for self-study. It spans foundational topics like lambda calculus, type systems, interpreters, compilers, and formal semantics, while also pointing to contemporary areas such as effect systems, dependent types, and verification. Each section clusters materials by theme so learners can build understanding step by step instead of grazing at random. -
3
Key-book
Proofs, cases, concept supplements, and reference explanations
The book "Introduction to Machine Learning Theory" (hereinafter referred to as "Introduction") written by Zhou Zhihua, Wang Wei, Gao Wei, and other teachers fills the regret of the lack of introductory works on machine learning theory in China. This book attempts to provide an introductory guide for readers interested in learning machine learning theory and researching machine learning theory in an easy-to-understand language. -
4
Catlab.jl
A framework for applied category theory in the Julia language
Catlab.jl is a framework for applied and computational category theory, written in the Julia language. Catlab provides a programming library and interactive interface for applications of category theory to scientific and engineering fields. It emphasizes monoidal categories due to their wide applicability but can support any categorical structure that is formalizable as a generalized algebraic theory. -
Build Securely on AWS with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
5
Ordinals
Rare and exotic sats
Ordinal theory concerns itself with satoshis, giving them individual identities and allowing them to be tracked, transferred, and imbued with meaning. Satoshis, not bitcoin, are the atomic, native currency of the Bitcoin network. One bitcoin can be sub-divided into 100,000,000 satoshis, but no further. Ordinal theory does not require a sidechain or token aside from Bitcoin, and can be used without any changes to the Bitcoin network. -
6
-
7
Blockchain Guide
Introduce blockchain related technologies, from theory to practice
...As the core technology of a new generation of distributed ledger technology (DLT) system, blockchain is considered to have broad application prospects in many fields such as finance, Internet of Things, commercial trade, credit reporting, and asset management. At present, blockchain technology is still in a stage of rapid development, involving distributed systems, cryptography, game theory, network protocols, and many other disciplines, which bring challenges to both learning and practice. This book hopes to objectively explore the ins and outs of the blockchain concept, analyze key technologies and principles, and use the world's largest open-source distributed ledger project, Hyperledger, as an example to explain specific applications. ... -
8
Hecke.jl
Computational algebraic number theory
Hecke is a software package for algebraic number theory maintained by Claus Fieker, Tommy Hofmann and Carlo Sircana. It is written in julia and is based on the computer algebra packages Nemo and AbstractAlgebra. Hecke is part of the OSCAR project and the development is supported by the Deutsche Forschungsgemeinschaft DFG within the Collaborative Research Center TRR 195. -
9
DFTK.jl
Density-functional toolkit
The density-functional toolkit, DFTK for short, is a collection of Julia routines for experimentation with plane-wave density-functional theory (DFT). The unique feature of this code is its emphasis on simplicity and flexibility with the goal of facilitating algorithmic and numerical developments as well as interdisciplinary collaboration in solid-state research. -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
10
httplog
Log outgoing HTTP requests in ruby
Log outgoing HTTP requests made from your application. Helps with debugging pesky API error responses, or just generally understanding what's going on under the hood. In theory, it should also work with any library built on top of these. But the difference between theory and practice is bigger in practice than in theory. This is very much a development and debugging tool; it is not recommended to use this in a production environment as it is monkey-patching the respective HTTP implementations. You have been warned - use at your own risk. ... -
11
Nemo.jl
Julia bindings for various mathematical libraries (including flint2)
Nemo is a computer algebra package for the Julia programming language. It aims to cover commutative algebra, number theory and group theory. Julia bindings for various mathematical libraries (including flint2) -
12
Oscar.jl
A comprehensive open source computer algebra system for computations
...In principle it can be installed and used like any other Julia package; doing so will take a couple of minutes. A comprehensive open source computer algebra system for computations in algebra, geometry, and number theory. -
13
Chromatone
Chromatone is a digital garden of visual music theory
Cards and short overviews on the physics and physiology of vision and hearing and their intersection at visual music research, exploration, practice, and self-expression. Useful tools to have in the pocket like a pack of interactive cards to learn and use in everyday music practice. These are open source web experiments with different aspects of sound and color. Chromatone is an open source research and design project to explore, develop and implement the scientific way of visual music... -
14
Circuitscape.jl
Algorithms from circuit theory to predict connectivity
Circuitscape is an open-source program that uses circuit theory to model connectivity in heterogeneous landscapes. Its most common applications include modeling the movement and gene flow of plants and animals, as well as identifying areas important for connectivity conservation. The new Circuitscape is built entirely in the Julia language, a new programming language for technical computing. -
15
Machine Learning Systems
Introduction to Machine Learning Systems
...Rather than concentrating only on model training, the material emphasizes the broader discipline of AI engineering, covering efficiency, reliability, deployment, and evaluation across the full lifecycle of intelligent systems. The repository includes textbook content, supporting labs, and companion tools such as TinyTorch to help learners move from theory to hands-on experimentation. Its mission is to establish AI systems engineering as a foundational discipline alongside traditional software and computer engineering. The project is structured to guide users through reading, building, and deploying workflows, including running labs on edge devices like Arduino and Raspberry Pi. -
16
miepython
Mie scattering of light by perfect spheres
miepython is a pure Python module to calculate light scattering for non-absorbing, partially-absorbing, or perfectly-conducting spheres. Mie theory is used, following the procedure described by Wiscombe. This code has been validated against his results. This code provides functions for calculating the extinction efficiency, scattering efficiency, backscattering, and scattering asymmetry. Moreover, a set of angles can be given to calculate the scattering for a sphere at each of those angles. -
17
CausalityTools.jl
Algorithms for detecting associations, dynamical influences
CausalityTools.jl is a package for quantifying associations and dynamical coupling between datasets, independence testing, and causal inference. Association measures from conventional statistics, information theory, and dynamical systems theory, for example, distance correlation, mutual information, transfer entropy, convergent cross mapping and a lot more. A dedicated API for independence testing, which comes with automatic compatibility with every measure-estimator combination you can think of. For example, we offer the generic SurrogateTest, which is fully compatible with TimeseriesSurrogates.jl, and the LocalPermutationTest for conditional independence testing. -
18
NLP
Open source NLP guide with models, methods, and real use cases
NLP is an open source introductory resource for natural language processing, presented as a continuously updated book hosted on GitHub. It explains how machines process and understand human language, combining theory with practical examples. Its covers core NLP concepts such as text representation, feature extraction, and model evaluation, alongside hands-on implementations using tools like Word2Vec, TF-IDF, and FastText. It also introduces topic modeling with LDA, keyword extraction techniques, and document similarity methods. NLP extends into real-world applications, including sentiment analysis and text classification, helping readers connect concepts to use cases. ... -
19
pyTheory
Music Theory for Humans
PyTheory is a Python toolkit for exploring music theory, composing arrangements, synthesizing sound, and exporting musical ideas programmatically. It models concepts such as notes, intervals, scales, chords, keys, progressions, fretboards, modes, and multiple musical systems. A score API can combine melodic parts, bass lines, chords, drums, synthesis, effects, automation, and sequencing. -
20
Slambook2
edition 2 of the slambook
slambook2 is the updated companion codebase for the second edition of 14 Lectures on Visual SLAM: From Theory to Practice. It preserves the chapter-by-chapter learning structure while revising examples for newer systems and libraries. The repository teaches the mathematical and programming foundations required to understand visual SLAM implementations. Its C++ exercises cover geometry, Lie theory, cameras, image processing, optimization, visual odometry, mapping, and loop closure. ... -
21
Finance
150+ quantitative finance Python programs
...The project focuses on explaining key principles used in finance and investment analysis, including topics such as financial statements, valuation models, portfolio theory, and financial markets. The repository is designed as a study reference for students and professionals who want to understand financial systems and the analytical frameworks used in financial decision-making. It organizes concepts into structured documents that explain both theoretical principles and practical calculations used in finance. ... -
22
Moondream
Tiny vision language model
...The project typically showcases procedural visualizations, algorithmic designs, and artistic experiments that push the boundaries of what can be expressed with programming languages and rendering frameworks. While the exact nature can vary by commit or branch, Moondream’s work often blends geometry, color theory, and motion to create immersive visuals that can be interactive, animated, or reactive to input. It serves as both a playground for the author’s artistic curiosity and a resource for other creative coders interested in generative art techniques. The repository may include shaders, canvas/WebGL code, visual demos, and utilities that demonstrate how mathematical functions or noise patterns can be harnessed for compelling visuals. -
23
Quine Relay
An uroboros program with 100+ programming languages
...The repository contains implementations, translation scaffolding, and carefully crafted code for each hand-rolled segment so the program maintains correctness across languages. Achieving this requires delicate handling of language-specific quoting, escaping, and code-gen tricks, making it a showcase of language theory, compiler insight, and meta-programming prowess. It is largely a playful, academic exercise exploring the limits of language interoperability and quine construction rather than a utility tool. -
24
The Algorithms Python
All Algorithms implemented in Python
...Each implementation is designed with clarity in mind, favoring readability and comprehension over performance optimization. The project covers various domains including mathematics, cryptography, machine learning, sorting, graph theory, and more. With contributions from a large global community, it continually grows and improves through collaboration and peer review. This repository is an ideal reference for students, educators, and developers seeking hands-on experience with algorithmic concepts in Python. -
25
DiffOpt.jl
Differentiating convex optimization programs w.r.t. program parameters
...methods, to differentiate models (quadratic or conic) with optimal solutions. Differentiable optimization is a promising field of convex optimization and has many potential applications in game theory, control theory and machine learning. Recent work has shown how to differentiate specific subclasses of convex optimization problems. But several applications remain unexplored. With the help of automatic differentiation, differentiable optimization can have a significant impact on creating end-to-end differentiable systems to model neural networks, stochastic processes, or a game.
