Projects in Awesome Lists tagged with knuth-algorithm
A curated list of projects in awesome lists tagged with knuth-algorithm .
https://github.com/coq-community/bertrand
Coq proof of Bertrand's postulate on existence of primes [maintainer=@thery]
coq coq-extraction knuth-algorithm prime-numbers
Last synced: 24 Nov 2024
https://github.com/smartvokat/optimus_hash
ID hashing based on Knuth's multiplicative hashing algorithm
elixir hashing knuth-algorithm obfuscation
Last synced: 26 Mar 2025
https://github.com/rocq-community/bertrand
Coq proof of Bertrand's postulate on existence of primes [maintainer=@thery]
coq coq-extraction knuth-algorithm prime-numbers
Last synced: 10 Apr 2025
https://github.com/chipjarred/knuthalgorithmd
Swift implementation of Donald Knuth's multi-precision unsigned integer division Algorithm D, from The Art of Computer Programming, Vol 2: Semi-numerical Algorithms, Chapter 4.3.3
algorithmd algorithms bignumber bignumbers division knuth-algorithm multi-precision multiprecision taocp theartofcomputerprogramming
Last synced: 30 Mar 2025
https://github.com/christopher-dabrowski/posi-c3
Badanie algorytmu ewolucyjnego do gry Mastermind
artificial-intelligence genetic-algorithm knuth-algorithm laboratory-exercises mastermind-game
Last synced: 17 Mar 2025
https://github.com/dreisss/ntbk-algorithms
Notebook to study algorithms and data structures.
algorithms cormen-algorithms data-structures grokking-algorithms knuth-algorithm notebook taocp wirth-book
Last synced: 22 Feb 2025
https://github.com/sleekpanther/mastermind-game
Command line implementation of the board game Mastermind for a Software Engineering class
knuth knuth-algorithm mastermind mastermind-board-game mastermind-game noah noah-patullo noahpatullo pattullo pattulo patullo patulo software-engineering
Last synced: 05 Mar 2025
https://github.com/water-vapor/dancinglinksalgorithmx
Implements generalized Knuth's algorithm X with dancing links
Last synced: 28 Mar 2025
https://github.com/sinistro14/mindefuse
Hostage situation negotiator simulation
agents artificial-intelligence genetic-algorithm knuth-algorithm mastermind-game negotiation np-hard python swaszek-algorithm
Last synced: 05 Mar 2025
https://github.com/gshahr/sage-math
Exploring sage math
cayley-graphs knuth-algorithm robinson-schensted sagemath
Last synced: 21 Mar 2025
