Skip to content

Commit

Permalink
Robot Updated at:5 Dec 2024 21:11:48 GMT
Browse files Browse the repository at this point in the history
  • Loading branch information
yiliuyan161 committed Dec 5, 2024
1 parent 34472fa commit b2f7a06
Show file tree
Hide file tree
Showing 8 changed files with 91 additions and 171 deletions.
3 changes: 1 addition & 2 deletions docs/awesome/awesome-agi-cocosci.md
Original file line number Diff line number Diff line change
Expand Up @@ -602,9 +602,8 @@ English-language description for use by biologists.

* [Situation Calculus](https://en.wikipedia.org/wiki/Situation_calculus) - ***Wikipedia***. Wikipedia on Situation Calculus, a logic formalism designed for representing and reasoning about dynamical domains.

* [Answer Set Programming](https://link.springer.com/chapter/10.1007/3-540-46767-x_28) - ***ICLPNR'99***, 1999. [[All Versions](https://scholar.google.com/scholar?cluster=15267370435063454675)]. [[Preprint](http://people.sabanciuniv.edu/~esraerdem/teaching/krr06/asp.pdf)]. The original paper on Answer Set Programming (ASP), a form of declarative programming oriented towards difficult search problems, on the use of nonmonotonic reasoning in knowledge representation. In ASP solutions to a problem are represented by answer sets (known also as stable models), and not by answer substitutions produced in response to a query, as in conventional logic programming.

* [What is Answer Set Programming?](https://cdn.aaai.org/AAAI/2008/AAAI08-270.pdf) - ***AAAI'08***, 2008. [[All Versions](https://scholar.google.com/scholar?cluster=3691841207891991771)]. Lifschitz's tutorial on Answer Set Programming.
* [Answer Set Programming](https://link.springer.com/chapter/10.1007/3-540-46767-x_28) - ***ICLPNR'99***, 1999. [[All Versions](https://scholar.google.com/scholar?cluster=15267370435063454675)]. [[Preprint](http://people.sabanciuniv.edu/~esraerdem/teaching/krr06/asp.pdf)]. The original paper on Answer Set Programming (ASP), a form of declarative programming oriented towards difficult search problems, on the use of nonmonotonic reasoning in knowledge representation. In ASP solutions to a problem are represented by answer sets (known also as stable models), and not by answer substitutions produced in response to a query, as in conventional logic programming.

* [Action Languages, Answer Sets, and Planning](https://link.springer.com/chapter/10.1007%2F978-3-642-60085-2_16) - ***The Logic Programming Paradigms***, 1999. [[All Versions](https://scholar.google.com/scholar?cluster=2045126541850245645&hl=en&as_sdt=0,5)].

Expand Down
3 changes: 3 additions & 0 deletions docs/awesome/awesome-angular.md
Original file line number Diff line number Diff line change
Expand Up @@ -809,6 +809,7 @@ become an Angular expert.
* [ngx-starry-sky](https://github.com/omnedia/ngx-starry-sky) - An Angular library that creates a beautiful starry sky background with optional shooting star effects.
* [ngx-connection-beam](https://github.com/omnedia/ngx-connection-beam) - An Angular component that dynamically renders animated connection lines between two elements.
* [ngx-countUp](https://github.com/inorganik/ngx-countUp) - Animates a numerical value by counting to it.
* [ngx-animated-counter](https://github.com/BugSplat-Git/ngx-animated-counter) - BugSplat's library provides simple count up and count down number animations.

#### Breadcrumbs

Expand Down Expand Up @@ -931,6 +932,7 @@ become an Angular expert.
* [dhutaryan/ngx-mat-timepicker](https://github.com/dhutaryan/ngx-mat-timepicker) - Material timepicker based on material design.
* [ngx-timeline](https://github.com/omnedia/ngx-timeline) - A simple component library to add an animated timeline view.
* [ngx-prayertimes-api](https://github.com/WurshaApps/ngx-prayertimes-api) - An Angular API client for [Prayer Times API](https://aladhan.com/prayer-times-api).
* [frxjs-Ngx-Timeline](https://github.com/emanuelefricano93/frxjs-Ngx-Timeline) - This library allows you to integrate a timeline in your Angular app.

#### DOM

Expand Down Expand Up @@ -1412,6 +1414,7 @@ to simplify usage and allow quick customization.
* [ngx-ui](https://ngxui.com/docs) - NGXUI from [Omnedia](https://github.com/omnedia) is a collection of standalone components that you can simply install and use in your Angular projects. It primarily features components, blocks, and templates geared towards creating landing pages and user-facing marketing materials.
* [po-angular](https://github.com/po-ui/po-angular) - Component library based on Angular. Documentation in Portuguese.
* [pastanaga-angular](https://github.com/plone/pastanaga-angular) - An Angular implementation of Pastanaga design system offering a set of re-usable UI components which are covering typical needs of any web application. It is maintained by [Plone](http://plone.org/) and [Guillotina](http://guillotina.io/) communities.
* [ngx-nighthawk](https://github.com/evenuxjs/ngx-nighthawk) - It offers a comprehensive set of components that are highly configurable and user-friendly. This package integrates the best open-source tools, such as Bootstrip — a streamlined version of Bootstrap that focuses solely on Grid and Utility features.

##### Material Based

Expand Down
1 change: 1 addition & 0 deletions docs/awesome/awesome-annual-security-reports.md
Original file line number Diff line number Diff line change
Expand Up @@ -140,6 +140,7 @@ Reports will be classified by a header that describes their primary content or e
- [Google](https://cloud.google.com/security/resources/cybersecurity-forecast) - [Cybersecurity Forecast 2025](https://github.com/jacobdjwilson/awesome-annual-security-reports/blob/master/Annual%20Security%20Reports/2025/Google-Cybersecurity-Forecast-2025.pdf) (2025) - Insights from Google Cloud leaders on emerging cybersecurity trends.

## Penetration Testing
- [Bugcrowd](https://www.bugcrowd.com/resources/report/the-total-economic-impact-of-bugcrowd-managed-bug-bounty/) - [The Total Economic Impact Of Bugcrowd Managed Bug Bounty](https://github.com/jacobdjwilson/awesome-annual-security-reports/blob/master/Annual%20Security%20Reports/2024/Forrester-The-Total-Economic-Impact-Of-Bugcrowd-Managed-BugBounty-2024.pdf) (2024) - Analyzes the economic benefits and impacts of Bugcrowd's managed bug bounty programs, supported by data-driven insights from Forrester.
- [Cobalt](https://resource.cobalt.io/state-of-pentesting-2024) - [State of Pentesting](https://github.com/jacobdjwilson/awesome-annual-security-reports/blob/master/Annual%20Security%20Reports/2024/Cobalt-State-of-Pentesting-2024.pdf) (2024) - Offers an overview of the current state of penetration testing, including trends, challenges, and best practices across various industries.
- [Fortra](https://www.fortra.com/services/consulting/cybersecurity/penetration-testing) - [Penetration Testing Report](https://github.com/jacobdjwilson/awesome-annual-security-reports/blob/master/Annual%20Security%20Reports/2024/Fortra-Pentesting-Report-2024.pdf) (2024) - Provides insights into the current landscape of penetration testing, including common vulnerabilities and industry-specific challenges.
- [HackerOne](https://www.hackerone.com/resources/reporting/8th-hacker-powered-security-report) - [Hacker Powered Security Report](https://github.com/jacobdjwilson/awesome-annual-security-reports/blob/master/Annual%20Security%20Reports/2024/HackerOne-Hacker-Powered-Security-Report-2024.pdf) (2024) - Explores the state of hacker-powered security, including trends in bug bounty programs and vulnerability disclosure across industries.
Expand Down
4 changes: 2 additions & 2 deletions docs/awesome/awesome-cl.md
Original file line number Diff line number Diff line change
Expand Up @@ -1599,9 +1599,9 @@ Text and binary parsers
* [cl-yacc](https://github.com/jech/cl-yacc) - a LALR(1) parser generator. [MIT][200].
* [cl-shlex](https://github.com/ruricolist/cl-shlex/) - simple lexical analyzer for shell-like syntaxes. [MIT][200].
* [smug](https://github.com/drewc/smug) - parser combinators for Common Lisp. SMUG makes it simple to create quick extensible recursive descent parsers without funky syntax or impenetrable macrology. [MIT][200].
* [parseq](https://github.com/mrossini-ethz/parseq) - a library for parsing sequences such as strings and lists using parsing expression grammars. Inspired by Esrap. GPL2.
* [lisp-binary](https://github.com/j3pic/lisp-binary) - A library to easily read and write complex binary formats. [GPL3][2].
* [parseq](https://github.com/mrossini-ethz/parseq) - a library for parsing sequences such as strings and lists using Parsing Expression Grammars (PEGs). Inspired by Esrap. GPL2.
* [uclp](https://github.com/ravi-delia/uclp) - An experimental implementation of parsing expression grammars (PEGs, a la Janet) in Common Lisp. MIT.
* [lisp-binary](https://github.com/j3pic/lisp-binary) - A library to easily read and write complex binary formats. [GPL3][2].

see also:

Expand Down
5 changes: 3 additions & 2 deletions docs/awesome/awesome-mac.md
Original file line number Diff line number Diff line change
Expand Up @@ -730,7 +730,7 @@ highlighting. [![Open-Source Software][OSS Icon]](https://github.com/dbcli/pgcli
* [MusicBrainz Picard](https://picard.musicbrainz.org/) - Cross-platform music tagger written in Python. [![Open-Source Software][OSS Icon]](https://github.com/metabrainz/picard) ![Freeware][Freeware Icon]
* [Playback](https://mafintosh.github.io/playback/) - Experimental video player. ![Freeware][Freeware Icon] [![Open-Source Software][OSS Icon]](https://github.com/mafintosh/playback)
* [Plug](https://plugformac.com) - Discover and listen to music from Hype Machine. [![Open-Source Software][OSS Icon]](https://github.com/wulkano/Plug) ![Freeware][Freeware Icon] [![App Store][app-store Icon]](https://apps.apple.com/app/id1514182074)
* [Popcorn Time](https://popcorntime.co/) - Watch torrent movies instantly, This Popcorn Time service will never be taken down. Download and enjoy. ![Freeware][Freeware Icon]
* [Popcorn Time](https://popcorn-time.site/) - Watch torrent movies instantly, This Popcorn Time service will never be taken down. Download and enjoy.[![Open-Source Software][OSS Icon]](https://github.com/popcorn-official/popcorn-desktop) ![Freeware][Freeware Icon]
* [Potplayer X](https://okaapps.com/product/1612400976)- a Video Audio Player. ![Freeware][Freeware Icon] [![App Store][app-store Icon]](https://apps.apple.com/cn/app/potplayer-x-%E9%9F%B3%E8%A7%86%E9%A2%91%E6%92%AD%E6%94%BE%E5%99%A8/id1612400976?mt=12)
* [Pulp](https://github.com/bazalp/pulp/releases) - Audio sample manager. ![Freeware][Freeware Icon] [![Open-Source Software][OSS Icon]](https://github.com/bazalp/pulp)
* [ScreenFlow](http://www.telestream.net/screenflow/) - Screencasting and video editing software.
Expand Down Expand Up @@ -987,7 +987,8 @@ highlighting. [![Open-Source Software][OSS Icon]](https://github.com/dbcli/pgcli
* [rem](https://github.com/jasonjmcghee/rem) - An open source approach to locally record and enable searching everything you view on your Mac. [![Open-Source Software][OSS Icon]](https://github.com/jasonjmcghee/rem) ![Freeware][Freeware Icon]
* [SlowQuitApps](https://github.com/dteoh/SlowQuitApps) - An OS X app that adds a global delay of 1 second to the Cmd-Q shortcut. [![Open-Source Software][OSS Icon] ![Freeware][Freeware Icon]](https://github.com/dteoh/SlowQuitApps)
* [Speediness](https://sindresorhus.com/speediness) - Check your internet speed. ![Freeware][Freeware Icon] [![App Store][app-store Icon]](https://apps.apple.com/app/id1596706466)
* [Ultra TabSaver](https://github.com/Swift-open-source/UltraTabSaver) - The Open Source Tab Manager for Safari [![Open-Source Software][OSS Icon] ![Freeware][Freeware Icon]](https://github.com/Swift-open-source/UltraTabSaver)
* [Ultra TabSaver](https://github.com/Swift-open-source/UltraTabSaver) - The Open Source Tab Manager for Safari [![Open-Source Software][OSS Icon] ![Freeware][Freeware Icon]](https://github.com/Swift-open-source/UltraTabSaver)
* [Upscayl](https://github.com/upscayl/upscayl) - Free and open-source AI image upscaling tool. [![Open-Source Software][OSS Icon]](https://github.com/upscayl/upscayl) ![Freeware][Freeware Icon]
* [CapsLockNoDelay](https://github.com/gkpln3/CapsLockNoDelay) - Removes caps-lock key activation delay for fast typers. [![Open-Source Software][OSS Icon] ![Freeware][Freeware Icon]](https://github.com/gkpln3/CapsLockNoDelay)

### To-Do Lists
Expand Down
15 changes: 7 additions & 8 deletions docs/awesome/awesome-remote-job.md
Original file line number Diff line number Diff line change
Expand Up @@ -67,14 +67,13 @@ A curated list of awesome [remote working](https://en.wikipedia.org/wiki/Telecom
1. [How to Make Remote Working Work for You](https://www.toptal.com/remote/how-to-make-remote-working-work-for-you)
1. [How to run a team of people who never see each other](https://qz.com/230998/how-to-run-a-team-of-people-who-never-see-each-other)
1. [How to suggest improvements remotely](https://x-team.com/blog/suggest-improvements-remotely)
1. [How to Work Remotely and Still Be the Best](https://www.toptal.com/freelance/how-to-work-remotely-and-still-be-the-best)
1. [How Working at Home Works (For Us)](https://www.lullabot.com/articles/how-working-at-home-works-for-us)
1. [It’s Unclearly Defined, but Telecommuting Is Fast on the Rise](https://www.nytimes.com/2014/03/08/your-money/when-working-in-your-pajamas-is-more-productive.html?_r=0)
1. [Latest Telecommuting Statistics | Global Workplace Analytics](https://globalworkplaceanalytics.com/telecommuting-statistics)
1. [Learning From Distributed Companies](https://www.lullabot.com/articles/learning-from-distributed-companies)
1. [Managing a Geographically Dispersed Team: Achieving Your Goals Together, While Apart](https://www.mindtools.com/awe2ycs/managing-a-geographically-dispersed-team)
1. [My Ideal Day as a Remote Programmer: Taking Charge of Your Daily Routine](https://buffer.com/resources/my-ideal-day-as-a-programmer-taking-charge-of-your-daily-routine/)
1. [My Remote Developer Life](https://shift.infinite.red/my-remote-developer-life-ama-bb91fa7bd0bd#.kjpehbcab)
1. [My Remote Developer Life](https://shift.infinite.red/my-remote-developer-life-ama-bb91fa7bd0bd)
1. [Phoning It In: 3 Years of Lessons From Running a Remote Business](https://observer.com/2014/02/phoning-it-in-3-years-of-lessons-from-running-a-remote-business/)
1. [Remote versus Co-located Work](https://martinfowler.com/articles/remote-or-co-located.html)
1. [Remote Work: How to work the Precision Nutrition way](https://www.precisionnutrition.com/remote-how-to-work-the-pn-way)
Expand All @@ -87,7 +86,7 @@ A curated list of awesome [remote working](https://en.wikipedia.org/wiki/Telecom
1. [The case for all-remote companies](https://about.gitlab.com/blog/2018/10/18/the-case-for-all-remote-companies/)
1. [The future of telecommuting: Corralling the Yahoos](https://www.economist.com/business/2013/03/02/corralling-the-yahoos?fsrc=scn%2Ftw%2Fte%2Fpe%2Fcorallingtheyahoos)
1. [The Pros & Cons of Being a Remote Team (& How We Do It)](https://blog.groovehq.com/being-a-remote-team)
1. [The Ultimate Remote Team Culture](https://www.toptal.com/remote/the-ultimate-remote-culture)
1. [The Ultimate Remote Team Culture](https://www.toptal.com/remote-work-playbook)
1. [The Villains of Remote Work](https://blog.dnsimple.com/2016/10/the-villains-of-remote-work/)
1. [Things To Watch Out For While Working Remotely](https://www.toptal.com/remote/remote-work-burnout-a-cautionary-tale)
1. [Tips to Land a Remote Job](https://moduscreate.com/blog/tips-to-land-a-remote-job/)
Expand Down Expand Up @@ -340,7 +339,7 @@ A curated list of awesome [remote working](https://en.wikipedia.org/wiki/Telecom
1. [DuckDuckGo](https://duckduckgo.com/duckduckgo-help-pages/) - Search engine.
1. [EasyCommunicationTechnology](https://www.easycomtec.com/homeoffice/developer) - .NET development using C#, Angular, Azure. Remote-first company.
1. [Elastic](https://www.elastic.co/) - Open source search & analytics
1. [Eloquentix](http://eloquentix.com/) - All remote company across 3 continents and 9 timezones.
1. [Eloquentix](https://www.eloquentix.com/) - All remote company across 3 continents and 9 timezones.
1. [Envato](https://www.envato.com/about/careers/) - Maker of ThemeForest and other online marketplaces. MySQL, Ruby, Rails, JavaScript. Distributed team with HQ in Melbourne, Australia.
1. [Ergeon](https://www.ergeon.com/careers/) - Home Services and construction company. An all-remote company with HQ in Palo Alto, California, but hiring worldwide.
1. [Etsy](https://careers.etsy.com) - Marketplace for artists. MySQL, Memcache, PHP. Offices in Dublin, Paris, San Francisco, New York, London and Melbourne.
Expand All @@ -350,7 +349,7 @@ A curated list of awesome [remote working](https://en.wikipedia.org/wiki/Telecom
1. [Findify](https://findify.io/) - E-commerce search powered by machine learning and big data. Team distributed across Europe.
1. [General Assembly](https://generalassemb.ly/careers) - Physical and on-line education for technology, business, and design.
1. [Ghost](https://ghost.org/about/#careers) - Publishing platform.
1. [Giant Swarm](https://www.giantswarm.io/careers) - Giant Swarm’s managed microservices infrastructure enables enterprises to run agile, resilient, distributed systems at scale, while removing the tasks related to managing the complex underlying infrastructure
1. [Giant Swarm](https://www.giantswarm.io/) - Giant Swarm’s managed microservices infrastructure enables enterprises to run agile, resilient, distributed systems at scale, while removing the tasks related to managing the complex underlying infrastructure
1. [Gigster](https://gigster.com/) - vetted network of top 5% freelancers worldwide. PM, Dev, Sales positions available.
1. [TestGrid](https://testgrid.io/) - TestGrid is a leading provider of end-to-end automation cloud and on-premise testing solutions. With a focus on simplifying the testing process, TestGrid's innovative AI-powered technology allows organizations to streamline their end to end testing process. Hiring developers, sales & marketing folks worldwide.
1. [HeadSpin](https://www.headspin.io/) - world’s first Digital Experience AI Platform that combines cloud-hosted and on-prem global device infrastructure, test automation, and ML-driven performance & quality of experience analytics for mobile, web, audio, and video.
Expand Down Expand Up @@ -408,7 +407,7 @@ A curated list of awesome [remote working](https://en.wikipedia.org/wiki/Telecom
1. [Meta](https://www.metacareers.com/jobs/) - Partent company of Facebook, Instagram. Filter by remote.
1. [Merico](https://www.devinsight.ai/) - Code deep analysis engine.
1. [Mixmax](https://www.mixmax.com/) - Email with superpowers.
1. [Modern Tribe](https://tri.be/careers) - A digital agency with a modern twist. All freelancers. All experts.
1. [Modern Tribe](https://tri.be/careers/ ) - A digital agency with a modern twist. All freelancers. All experts.
1. [MODLR](https://modlr.co/au/home) - MODLR is business modelling and collaborative planning tool for connected financial planning process
1. [Modus Create](https://moduscreate.com/) - Modus is a digital design-build agency driven by world-class talent. PHP, JavaScript.
1. [Mode Analytic](https://www.thoughtspot.com/careers) - BI.
Expand Down Expand Up @@ -455,7 +454,7 @@ A curated list of awesome [remote working](https://en.wikipedia.org/wiki/Telecom
1. [ShakaCode](https://www.shakacode.com/career/) - A global web development software consultancy and product company.
1. [Shiphero](https://shiphero.breezy.hr/?&remote=remote#positions) - ShipHero builds a fully featured Warehouse Management System. 100% remote.
1. [Shogun](https://getshogun.com/) - Build and optimize eCommerce landing pages. Ruby / Rails, Go, JavaScript, React. 100% remote.
1. [Signal](https://signal.org/workworkwork/) - These people make the fantastic [Signal app](https://signal.org/). US Only.
1. [Signal](https://signal.org/workworkwork/) - These people make the fantastic Signal app. US Only.
1. [Skyscrapers](https://skyscrapers.eu/join-us/) - Cloud hosting services & management. Working with multiple cloud providers (AWS, Digital Ocean, Linode, ...). 100% remote.
1. [SoftwareMill](https://softwaremill.com/join-us/)
1. [Soshace](https://soshace.com/) - Angular/React/Vue.js/Java/Python remote development company
Expand Down Expand Up @@ -493,7 +492,7 @@ A curated list of awesome [remote working](https://en.wikipedia.org/wiki/Telecom
1. [Vidalingua](https://www.vidalingua.com/amaze.php) - Bringing language apps to life.
1. [WAAT](https://waat.eu/job/) - A cross-functional digital agency that adapts to project needs.
1. [Water Lily Pond](https://waterlilypond.co.uk/) - Advertising and marketing communication services.
1. [wemake.services](https://wemake.services/meta/employees) - We sell repeatable software development process. Fully remote. Python, JavaScript, Vue
1. [wemake.services](https://wemake.services/meta/) - We sell repeatable software development process. Fully remote. Python, JavaScript, Vue
1. [Wheel](https://www.wheel.com/careers) - healthcare startup.
1. [Wikimedia](https://wikimediafoundation.org/about/jobs/)
1. [You Need a Budget](https://www.ynab.com/careers) - Bank syncing and goals and debt management.
Expand Down
Loading

0 comments on commit b2f7a06

Please sign in to comment.