Search Results for "theory"
Sort By:
Showing 530 open source projects for "theory"
View related business solutions-
$300 Free Credits to Build on Google CloudPut 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.
-
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
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. -
MongoDB Atlas runs apps anywhereMongoDB 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.
-
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
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. -
7
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. -
8
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. ... -
9
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) -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
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. -
11
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. -
12
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. -
13
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. ... -
14
Database Series
In-depth and easy-to-understand database storage: database theory
Database Notes is an open-source educational knowledge base covering database theory, storage architectures, and modern data management technologies. It explains how databases store, retrieve, organize, and process information across different workloads. The material explores relational databases such as MySQL and PostgreSQL alongside key-value, document, graph, time-series, and vector databases. It examines indexing, transactions, consistency, availability, and scalability in database systems. ... -
15
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. -
16
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. -
17
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... -
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
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. -
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.
