Giters
bench745

bench745

Geek Repo

2

followers

0

following

5

stars

Github PK Tool:Github PK Tool

bench745's starred repositories

awesome-emacs

A community driven list of useful Emacs packages, libraries and other items.

License:UnlicenseStargazers:8424Issues:0Issues:0

awesome-awesome

A curated list of awesome curated lists of many topics.

License:CC0-1.0Stargazers:2741Issues:0Issues:0

awesome

😎 Awesome lists about all kinds of interesting topics

License:CC0-1.0Stargazers:316400Issues:0Issues:0

twitchcoq

It's a poorly named metamath verifier

Language:PrologStargazers:106Issues:0Issues:0

SQLess

A Python package for creating and managing "databases" using .csv files

Language:PythonLicense:MITStargazers:1Issues:0Issues:0