brian
  • Joined on Oct 13, 2019

Updated 2 weeks ago

Updated 2 months ago

Updated 5 months ago

Idris 0 0

Updated 9 months ago

sort strings according to edit distance

Updated 9 months ago

Updated 11 months ago

A bad datalog, which hopefully will become better over time. Maybe someday it'll even be released as a package!

Updated 11 months ago

Like grep, but uses tree-sitter grammars to search in structures instead of strings

Updated 12 months ago

Updated 1 year ago

Nix 0 0

Updated 1 year ago

Updated 1 year ago

Rust 0 0

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago

Updated 2 years ago