computer-science-algorithms topic

List computer-science-algorithms repositories

javascript-algorithms

7.8k
Stars
1.3k
Forks
Watchers

💻 JavaScript implementations of computer science algorithms

zipperposition

122
Stars
19
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...

common-algorithms-js

36
Stars
10
Forks
Watchers

Common algorithms implemented in JavaScript.

books

15
Stars
2
Forks
Watchers

Books on various domains of computer science