Popular repositories Loading

1. gdp8 gdp8 Public

   Python 3

2. NoPipe NoPipe Public

   Forked from TeamNewPipe/NewPipe

   A version of NewPipe that can't play video. Based on, but not affiliated with, the NewPipe app.

   Java 2

3. leakbuster leakbuster Public

   The hackable distraction blocker for Linux applications.

   Rust 1

4. dotfiles dotfiles Public

   Lua 1

5. lambda-interpreter lambda-interpreter Public

   A tool for reducing lambda calculus terms to normal form.

   Haskell 1

6. pfme pfme Public

   Python 1