awesome-coq
lists
awesome-coq | lists | |
---|---|---|
1 | 8 | |
288 | 9,588 | |
3.1% | - | |
6.4 | 7.6 | |
16 days ago | about 1 month ago | |
Creative Commons Zero v1.0 Universal | Creative Commons Zero v1.0 Universal |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
awesome-coq
-
Coq is one of the most fun and enjoyable programming languages I ever use.
Coq has an awesome list by the community: https://github.com/coq-community/awesome-coq
lists
-
Building a README Crawler With Node.js
import ReadMeCrawler from 'readme-crawler'; var crawler = new ReadMeCrawler({ startUrl: 'https://github.com/jnv/lists', followReadMeLinks: true, outputFolderPath: './output/' }); crawler.run();
-
Using github pages to store OpenStreetMap/etc tilemaps
I think lots of people use Github/pages for storage and https://github.com/jnv/lists even lists lots of data stored on github
-
What Is the Web Revival?
the closest thing i found is .. github.
You even have a "definitive list of lists (of lists)" https://github.com/jnv/lists
You can find lots of foo by searching for "list of foo" on github search. https://github.com/search?q=list+of+anything
.. and you can make your own github pages thing, just like on geocities. https://docs.github.com/en/pages/quickstart
- Data aggregation snippets for software environments investigation
-
Board/directory of open source projects
List of Lists: https://github.com/jnv/lists
-
Ask HN: Whatever Happened to “Exploring the Internet”?
you can still find curated lists especially on github, eg: https://github.com/jnv/lists
What are some alternatives?
OSHW - Open Source Hardware Resources
NSABlocklist-pi-hole-edition - HOSTS file to block most known NSA / GCHQ / C.I.A. / F.B.I. spying servers. List is optimized for pi-hole.
pi-hole-blocklist - Pi Hole Blocklists for blocking Social Media and Messaging services
FilterLists - :shield: The independent, comprehensive directory of filter and host lists for advertisements, trackers, malware, and annoyances.
firebog-ticked-list - Merges firebog.net ticked host list to one giant file
Emu68 - M68K emulation for AArch64/AArch32
Pi-hole - A black hole for Internet advertisements
awesome-sysadmin - A curated list of amazingly awesome open-source sysadmin resources.
hosts - Hostfile blocklist for ads and tracking, updated regularly
nextdns - NextDNS CLI client (DoH Proxy)
this-word-does-not-exist - This Word Does Not Exist
my-pihole-blocklists - Create custom pi-hole blocklists