GitHub repos by backtracking
2 public repos by backtracking in the catalog, most starred first.
- backtracking/ocamlgraphStars: 253OCamlAlpha
- backtracking/bibtex2htmlStars: 109OCamlPrototype
2 public repos by backtracking in the catalog, most starred first.