Search Results for "theory"
Sort By:
24 projects for "theory" with 2 filters applied:
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
1
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. -
2
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. -
3
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. -
4
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. -
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
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. -
6
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. -
7
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. ... -
8
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. -
9
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. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
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. ... -
11
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. -
12
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,... -
13
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. ... -
14
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... -
15
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. -
16
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. -
17
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. -
18
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). -
19
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. -
20
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. ... -
21
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. -
22
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
-
23
QtXGame is an intuitive, extensible, modern cross-platform tool to construct and solve extensive and strategic games related to Game Theory. Its extensibility allows user to create and add his own games, solvers and matrix transformations.
-
24
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.
- Previous
- You're on page 1
- Next
