Explore Projects

Discover 77 open source projects

Active filters (1):
Search: theoryร—
Clear all

Showing 41-60 of 77 projects

enhancedformysql/The-Art-of-Problem-Solving-in-Software-Engineering_How-to-Make-MySQL-Better

This repository provides a comprehensive guide on optimizing MySQL performance and solving common database problems.

1.9K
Active
Databases
Documentation
#mysql#performance-optimization#problem-solving

baquer/GATE-and-CSE-Resources-for-Students

A comprehensive collection of resources for GATE and CSE (Computer Science Engineering) aspirants.

1.9K
Archived
Tutorials & Courses
Coding Challenges
#gate#cse#algorithms

jonnyhyman/Chaos

A Python library for visualizing the connections between chaos theory and fractals through the logistic map.

1.9K
Archived
Python
Computer Vision
Visualization
#chaos-theory#fractals#logistic-map

mrpandey/d3graphTheory

An interactive and visually appealing tutorial for learning graph theory algorithms using D3.js

1.8K
Archived
JavaScript
Charts & Visualization
Tutorials & Courses
D3.js
#graph-theory#algorithms#data-visualization

hkirat/Algorithmic-Resources

A curated list of algorithmic resources and competitive coding questions to help developers get started.

1.8K
Archived
Coding Challenges
Tutorials & Courses
#algorithms#competitive-coding#interview-prep

gaurangsaini/sipser-computation-3rd-solutions

This repository contains solutions to the exercises in the 3rd edition of the 'Introduction to the Theory of Computation' book by Michael Sipser.

1.8K
Archived
Books & Guides
Documentation
#algorithms#theory-of-computation#textbook-solutions

jpantunes/awesome-cryptoeconomics

A curated list of resources for learning about cryptoeconomics and related topics like blockchain, consensus, and game theory.

1.8K
Archived
Cryptoeconomics
#bitcoin#blockchain#ethereum

chuyangliu/snake

An artificial intelligence-powered implementation of the classic Snake game.

1.8K
Experimental
Python
Agents & Orchestration
Python
#ai#reinforcement-learning#game

artivis/manif

A small C++11 header-only library for Lie theory, used in computer vision, robotics, and SLAM.

1.7K
Stable
C++
Computer Vision
API Frameworks
C++
#computer-vision#robotics#slam

Qiskit/rustworkx

A high-performance Python graph library implemented in Rust for efficient graph operations.

1.6K
Active
Rust
API Clients & Testing
Graph Databases
#dag#graph#graph-theory

tomprimozic/type-systems

A library of type system implementations in OCaml for developers interested in programming language theory.

1.6K
Archived
OCaml
CLI Tools
Tutorials & Courses
#type-systems#programming-languages#compilers

kennethreitz/pytheory

A Python library for exploring music theory and scales, useful for vibe coders working with audio or music-related AI applications.

1.5K
Archived
Python
ML Ops
API Frameworks
#music-theory#scales#sympy

plfa/plfa.github.io

An introduction to programming language theory and Agda, a dependently-typed functional programming language.

1.5K
Active
Agda
Tutorials & Courses
API Frameworks
#programming-languages#proof-assistant#functional-programming

bgavran/Category_Theory_Machine_Learning

A collection of papers studying machine learning through the lens of category theory for developers.

1.5K
Stable
Python
LLM Frameworks
Books & Guides
Python
#category-theory#machine-learning#neural-networks

Rainbow-Dreamer/musicpy

Musicpy is a Python library for programming and generating music through algorithms and music theory.

1.4K
Experimental
Python
Music Programming
Libraries & Utilities
Python
#music#music-programming#music-theory

igraph/python-igraph

Python interface for the igraph library, a powerful tool for network analysis and visualization.

1.4K
Active
Python
Network Analysis
CLI Tools
Python
#complex-networks#graph-algorithms#graph-theory

JasonShin/fp-core.rs

A Rust library providing functional programming utilities and abstractions like Applicative, Monad, Functor, etc.

1.4K
Archived
Rust
Libraries & Utilities
API Frameworks
Rust
#functional-programming#category-theory#applicative

codebasics/data-structures-algorithms-python

This Python tutorial covers data structures and algorithms with theory, Big O analysis, and practice exercises.

1.4K
Archived
Jupyter Notebook
Tutorials & Courses
#data-structures#algorithms#python

HoTT/Coq-HoTT

A Coq library for Homotopy Type Theory, a foundational framework for mathematics and programming

1.4K
Active
Rocq Prover
Backend Frameworks
CLI Tools
#homotopy-type-theory#type-theory#univalent-foundations

saebekassebil/teoria

A JavaScript library that teaches music theory concepts and provides interactive examples.

1.4K
Archived
JavaScript
Tutorials & Courses
General Utilities
JavaScript
#music-theory#interactive#educational

Stay in the loop

Get weekly updates on trending AI coding tools and projects.