rhymebulbul / FIT2004 Star 5 Code Issues Pull requests Algorithms and Data Structures network-flow time-complexity topological-sort radix-sort dijkstra-algorithm suffix-tree algorithms-and-data-structures counting-sort space-complexity correctness-proof Updated Jun 29, 2025 Python
ammarSherif / Analysis-and-Design-of-Algorithms-Tutorials Star 1 Code Issues Pull requests My course materials for teaching Analysis and Design of Algorithms computer-science algorithms graph-algorithms recursion dynamic-programming recursive-algorithm heuristics algorithm-analysis greedy-algorithms algorithm-design empirical-analysis correctness-proof Updated Jul 16, 2022 Jupyter Notebook
CMZN-Consulting / literal-correctness Star 0 Code Issues Pull requests A corrected implementation of correctness so that a correct predicate is understood naturally and also universally. haskell haskell-library correctness correctness-evaluation formal-specification determinism existentialism correctness-proof formally-verified-systems interface-theory Updated Jul 8, 2026
DavisKoreal / softwaredaemon Star 0 Code Issues Pull requests a software assistant based on an llm code-generator computational-science ai-agents correctness-proof Updated Oct 25, 2025 JavaScript