Search Results for "theory"
Sort By:
Showing 88 open source projects for "theory"
View related business solutions-
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.
-
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
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. -
4
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. -
Ship Agents FasterGemini 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.
-
5
Agda
Agda is a dependently typed programming language
Agda is a dependently typed, total functional programming language and interactive theorem prover based on Martin-Löf’s type theory. It allows expressing programs and proofs in the same language, using the Curry–Howard correspondence. It features interactive development via Emacs, Atom, or VS Code. Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given length. -
6
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. -
7
Thrive
The main repository for the development of the evolution game Thrive
...Our team seeks to accomplish two major goals: create engaging, compelling gameplay that respects our players’ intelligence, and remain as accurate as possible in our depiction of known scientific theory without compromising the former. Thrive will encapsulate the player in the wonders of science and the universe, allowing them to manipulate the virtual world around them with editors to modify technology, culture, organisms, and entire solar systems. Seven stages are planned, Microbe, Multicellular, Aware, Awakening, Society, Industrial and Space, though for the moment we’re only focusing on the first of these. -
8
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... -
9
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. -
Build Data Resilience - Take the Assessment TodayIs your recovery strategy as strong as you think? Take this quick self-assessment to check your recovery readiness and gain tailored insights. In only 2 minutes, you'll learn where you fall on the recovery readiness scale.
-
10
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. -
11
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. -
12
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. ... -
13
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. ... -
14
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. -
15
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. -
16
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. ... -
17
FlexColorScheme
A Flutter package to make and use beautiful color scheme based themes
...You can also use optional component sub theming, that are quick and easy to configure. When you theme a Flutter application correctly, all built-in widgets use the colors of the ColorScheme in your theme. At least in theory, and it is almost so if you defined your ThemeData by using the ThemeData.from factory, but it misses a few details. This applies in particular when you use Material-2 design in Flutter, which is the default. When you opt in on using Material-3, the color results and styles are much more consistent by default. -
18
koka
Koka language compiler and interpreter
...Koka tracks the (side) effects of every function in its type, where pure and effectful computations are distinguished. The precise effect typing gives Koka rock-solid semantics backed by well-studied category theory, which makes Koka particularly easy to reason about for both humans and compilers. Effect handlers let you define advanced control abstractions, like exceptions, async/await, or probabilistic programs, as a user library in a typed and composable way. Perceus is an advanced compilation method for reference counting. -
19
LKMPG
The Linux Kernel Module Programming Guide
...Readers learn about concurrency concerns (spinlocks, mutexes), memory allocation in kernel space, and safe patterns for error handling and cleanup. The guide pairs narrative chapters with compilable code, so you can move from theory to practice and observe behavior directly with dmesg and friends. It also calls out pitfalls—like blocking in the wrong context or leaking references—that matter for stable, production-quality modules. As a teaching resource and a quick reference, lkmpg lowers the barrier to kernel development by showing how to extend Linux safely and idiomatically. -
20
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. -
21
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. -
22
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. -
23
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. ... -
24
Digraph3
A collection of python3 modules for Algorithmic Decision Theory
This collection of Python3 modules provides a large range of implemented decision aiding algorithms useful in the field of outranking digraphs based Multiple Criteria Decision Aid (MCDA), especially best choice, linear ranking and absolute or relative rating algorithms with multiple incommensurable criteria. Technical documentation and tutorials are available under the following link: https://digraph3.readthedocs.io/en/latest/ The tutorials introduce the main objects like digraphs,... -
25
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.
