jakwings

Pinned Repositories

• greasemonkey

  Greasemonkey is a user script manager for Firefox.

  Language:JavaScript2.3k1241.8k323

• Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k1202.3k642

• Onigmo

  Onigmo is a regular expressions library forked from Oniguruma.

  Language:C611349095

• macports-ports

  The MacPorts ports tree

  Language:Tcl1.5k6401.3k

• kakoune

  mawww's experiment for a better code editor

  Language:C++9.6k1122.8k704

• marisa-trie

  MARISA: Matching Algorithm with Recursively Implemented StorAge

  Language:C++495312789

• fd

  A simple, fast and user-friendly alternative to 'find'

  Language:Rust32.2k145842777

jakwings's Repositories