Projects in Awesome Lists tagged with computational-complexity
A curated list of projects in awesome lists tagged with computational-complexity .
https://github.com/courses-at-nju-by-hfwei/problem-solving-class-lectures
Lectures for the "Problem Solving" Class at Nanjing University.
abstract-algebra algorithms computational-complexity course-materials discrete-mathematics discrete-probability graph-theory group-theory lecture-notes linear-programming logic nanjing-university nju-courses number-theory set-theory
Last synced: 16 Feb 2026
https://github.com/crate-crypto/qesa
Efficient zero-knowledge arguments in the discrete log setting, revisited
bulletproofs computational-complexity cryptography rust-lang zero-knowledge
Last synced: 24 Jul 2025
https://github.com/michaelwehar/p-vs-np-community
This repository was setup to help people who believe that they solved the P vs NP problem and to help the people who review proposed solutions.
complexity-theory computational-complexity millennium-problems non-determinism p-vs-np polynomial-time unsolved-problems
Last synced: 03 Mar 2026
https://github.com/teresa-chow/42-push_swap
Push_swap is a project about sorting data on a stack, with a limited set of instructions, using the lowest possible number of actions. Its goal is reaching an optimized data sorting solution.
42 42born2code 42cursus 42porto 42school algorithms complexity computational-complexity greedy-algorithms sorting-algorithms
Last synced: 24 Jul 2025
https://github.com/iandinwoodie/trend-prof
A public copy of the trend-prof empirical computational complexity measurement tool
complexity-analysis computational-complexity
Last synced: 05 Aug 2025
https://github.com/pololo300/tfg-doc
My final degree testis about Tetris computational complexity
computational-complexity latex tetris
Last synced: 24 Jun 2025
https://github.com/inaciovasquez2020/chronos-urf-rr
Chronos–URF RR — reference implementation of Chronos entropy-depth bounds and rigidity results within the Unified Rigidity Framework.
chronos computational-complexity entropy-depth formal-verification information-theory reference-implementation reproducible-research rigidity-theory unified-rigidity-framework
Last synced: 09 Mar 2026
https://github.com/lkethridge/numerical_methods
A Numerical Methods project from TripleTen
algorithm-analysis boosting comparing-methods computational-complexity ensembles gradient-boosting gradient-descent iterative-methods neural-networks numerical-methods sgd stochastic-gradient-descent
Last synced: 24 Dec 2025
https://github.com/victordegallegos/complejidad-computacional
Repositorio de tareas y prácticas de la asignatura Complejidad Computacional Facultad de Ciencias UNAM semestre 2023-1
Last synced: 28 Mar 2025
https://github.com/nicxkms/interactive-merge-sort-visualizer
🔍 An interactive visualization tool for the Merge Sort algorithm, featuring dual-tree animations, step-by-step execution, zoom & pan controls, and educational insights.
algorithm-visualization animations computational-complexity cs-students css data-structures divide-and-conquer educational-tool html interactive-ui javascript learning-tool merge-sort open-source performance-optimization responsive-design sorting-algorithm visualization web-app web-development
Last synced: 04 Mar 2025
https://github.com/michaelflppv/ged-approximation
This is a repository of the code used for the experimental work in my Bachelor thesis on Approximation Algorithms for Graph Edit Distance (GED). It includes implementations, benchmarking scripts, and evaluation methods for comparing GED approximation algorithms with exact computations.
algorithm-performance approximation-algorithms benchmarking computational-complexity cplusplus experimental-design gedlib gnns graph-datasets graph-edit-distance graph-matching graph-neural-networks graph-similarity graphs heuristic-algorithm python reproducible-research
Last synced: 30 Apr 2025
https://github.com/raulmurillo/opt_ucm
Optimization course from Master in Computer Science at Complutense University of Madrid
combinatorial-optimization computational-complexity greedy-algorithm heuristic-algorithm steiner-tree-problem travelling-salesman-problem
Last synced: 14 Aug 2025
https://github.com/inaciovasquez2020/overlap-rigidity-lean
Unified Capacity–Locality Problem (UCLP): a decision framework for bounded locality, bounded information injection, and valid progress accounting in polynomial-time computation. Includes the canonical CutStrings benchmark and URF-ADMISSIBLE predicate.
benchmarks capacity-locality complexity-theory computational-complexity cutstrings entropy-depth foundations-of-computation information-theory locality unified-rigidity-framework urf-admissible
Last synced: 23 Feb 2026