Search Results for "theory"
Sort By:
54 projects for "theory" with 2 filters applied:
-
$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.
-
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.
-
1
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. -
2
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. -
3
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. -
4
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. -
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
5
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. -
6
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. -
7
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. -
8
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. -
9
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. -
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.
-
10
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. ... -
11
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. -
12
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. -
13
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. ... -
14
JGraphT is a free Java class library that provides mathematical graph-theory objects and algorithms. JGraphT supports a rich gallery of graphs and is designed to be powerful, extensible, and easy to use.
-
15
The Chemistry Development Kit (CDK) is a scientific, LGPL-ed library for bio- and cheminformatics and computational chemistry written in Java. The main home page of the CDK is now at: http://cdk.github.io
-
16
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. -
17
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,... -
18
Symja Java Computer Algebra
Symja - Java computer algebra language & symbolic math library
Symja - computer algebra language and Java symbolic math library. Moved to https://github.com/axkr/symja_android_library. The Android App can be found at: https://github.com/axkr/symja-example -
19
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. ... -
20
Reinforcement-learning
Implementation of Reinforcement Learning Algorithms. Python, OpenAI
...For each algorithm category, the repository pairs conceptual descriptions with runnable code and often illustrated exercises that help solidify understanding by bridging theory with practice. It’s structured to serve learners progressing from basic tabular methods to function approximation and deep learning extensions, making it suitable for students, researchers, or practitioners exploring reinforcement learning fundamentals. -
21
pyTorch Tutorials
Build your neural network easy and fast
...Each example explains PyTorch’s dynamic computation graph, optimization techniques, and core abstractions in a way that is accessible and reproducible. Contributors and authors integrate visual and coded examples so readers can see both the theory and the implementation side-by-side. -
22
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... -
23
JS-Sorting-Algorithm
A GitBook online book on sorting algorithms
...The repository also includes terminology explanations for concepts like data size, buckets, in-place sorting, out-place sorting, and stability. Overall, it is a compact reference for students and developers who want to review sorting theory and implementation examples. -
24
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. -
25
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.
