brian
  • Joined on Oct 13, 2019

Updated 2 days ago

Idris 0 0

Updated 3 days ago

Updated 2 weeks ago

sort strings according to edit distance

Updated 2 weeks ago

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

Updated 2 weeks ago

Updated 1 month ago

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

Updated 1 month ago

Updated 4 months ago

Nix 0 0

Updated 5 months ago

Updated 5 months ago

Rust 0 0

Updated 7 months ago

Updated 10 months ago

Updated 1 year ago

Updated 1 year ago

Elm 0 0

Updated 1 year ago