awesome-coq
lists
Our great sponsors
| awesome-coq | lists | |
|---|---|---|
| 1 | 6 | |
| 285 | 9,553 | |
| 3.9% | - | |
| 6.7 | 7.8 | |
| about 2 months ago | 11 days 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?
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.
OSHW - Open Source Hardware Resources
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