computer-science-algorithms topic

List computer-science-algorithms repositories

javascript-algorithms

7.6k
Stars
1.3k
Forks
Watchers

💻 JavaScript implementations of computer science algorithms

zipperposition

101
Stars
14
Forks
Watchers

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, claus...