5 results found Sort:

💻 JavaScript implementations of computer science algorithms
Created 2012-11-18
706 commits to master branch, last one 8 months ago
Illustrated Data Structures — Video Series
Created 2022-01-23
13 commits to master branch, last one about a year ago
19
122
bsd-2-clause
10
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...
Created 2012-08-15
6,728 commits to master branch, last one 4 months ago