brian
  • Joined on Oct 13, 2019

Updated 6 days ago

JavaScript 0 0

Updated 2 weeks ago

Updated 4 months ago

Updated 7 months ago

Idris 0 0

Updated 11 months ago

sort strings according to edit distance

Updated 11 months ago

Updated 1 year ago

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

Updated 1 year ago

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

Updated 1 year 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