Giters
krzygorz

krzygorz

Geek Repo

3

followers

1

following

15

stars

Github PK Tool:Github PK Tool

krzygorz's repositories

navimgate

Vimium-like navigation in accessibility-enabled Linux apps

Language:PythonStargazers:3Issues:2Issues:0

MapManager

Language:PythonStargazers:1Issues:0Issues:0

pdfstat

Track progress of reading ebooks.

Language:PythonStargazers:0Issues:1Issues:0

update-fmt

List Arch package updates for display by Conky

Language:PythonStargazers:0Issues:2Issues:0

chibi-scheme

Official chibi-scheme repository

Language:SchemeLicense:NOASSERTIONStargazers:0Issues:0Issues:0

facebook-scraper

Scrape Facebook public pages without an API key

License:MITStargazers:0Issues:0Issues:0

krzygorz.github.io

Language:CSSStargazers:0Issues:0Issues:0

nixpkgs

Nix Packages collection

Language:NixLicense:MITStargazers:0Issues:0Issues:0

plfa.github.io

An introduction to programming language theory in Agda

License:CC-BY-4.0Stargazers:0Issues:0Issues:0

reddit-check

Chrome extension to check whether a URL is already submitted to reddit.

Language:JavaScriptLicense:NOASSERTIONStargazers:0Issues:0Issues:0

Spin

Explicit state logic model checking tool -- 2002 winner of the ACM System Software Award.

Language:CLicense:NOASSERTIONStargazers:0Issues:1Issues:0

VerilogTea

Tiny Encryption Algorithm in Verilog

Language:VerilogStargazers:0Issues:0Issues:0