This page collects resources for anyone considering the use of software testing and formal methods. There are many axes along which one can organize such a list, such as the level of expertise of the intended audience (from experts to the public at large) or disciplinary orientation (computer science, mathematics, mathematical logic, etc.). Here I have chosen to classify the material by type of subject matter.
ebooks quality-assurance software-testing courses podcasts awesome verification coq tla learning model-checking formal-methodsRSS feed generator. Add RSS feeds to any project. Supports enclosures and GeoRSS. An item can be used for a blog entry, project update, log entry, etc. Your RSS feed can have any number of items. Most feeds use 20 or fewer items.
rss xml atom podcasts ghost feed feed-builder rss-feedPodcats generates RSS feeds for podcast episodes from local audio files and, optionally, exposes both the feed and episodes via a built in web server, so that they can be conveniently imported into iTunes, Overcast or another podcast client.Generate & serve the feed as well as the files at http://localhost:5000.
podcast rss feed server flask itunes overcast importer audiobooks podcasts audio jakubroztocilWavey is a simple web-based digital audio workstation (DAW), currently in pre-alpha.*Audio recording quality may or may not match native applications in a given browser. Record redundantly with another application if it matters to you.
app editor daw audio audio-editor audio-editing digital-audio-editor online html5 podcasts podcasting musicPodlive is a client for iOS, macOS and tvOS to listen to live streaming podcasts. We currently support all livestreams broadcasting via Ultraschall with Studio Link On Air. Our backend is a Parse-Server which is used to collect and control podcast meta data, manage push notifications and all marked favorites for each registered user.
podcast podcasts streaming livestreaming parse-server objcThe collection is divided into multiple categories and is subject for further reorganisation sooner or later. This is just a small part of my second brain that I've been building for a while now. I keep great content in Instapaper, Apple Notes, Notepad, Text files in DropBox, Browser bookmarks, YouTube, Vimeo and Ted playlists, bookshelf, etc.
engineering articles podcasts series resources influential favorites awesome listThe file generate.log will contain the log generated by the process.
python3 conferences podcasts website flask hacktoberfest speaker podcast conference mentorsYouCast allows you to subscribe to channels and playlists on YouTube as video and audio podcasts in any standard podcast app (e.g. Overcast, iTunes, BeyondPod, etc.).
youtube podcasts video audioA curated list of podcasts for designers, developers, product managers, entrepreneurs, startups etc. Due to the nature of podcasts, it is difficult to cleanly classify them into different categories. Most podcast cover a wide range of topics and it blurs the boundries between topics. This is a very broad categorization and there is bound to be some overlap between categories. For example - You may find a podcast in the design category which also talks about lifestyle and business. Incase you disagree with the categorization and feel that a certain podcasts would be a better fit in a different category, please feel free to open an issue here. Pull requests are most welcome.
podcasts awesome-list design development entrepreneurs awesome podcastThe repository of Changelog episode transcripts in Markdown format. Each transcript fragment is parsed as good ole' Markdown. That means you can add *s or _s for emphasis, [links](https://changelog.com) to referenced people/projects, etc. We especially encourage addition of links. These make the transcripts much more useful to readers and provide valuable SEO juice to the link-worthy things we discuss on our shows.
podcasts transcripts markdownAn experimental (Read: not-usable or in anyway done) distributed/federated podcasting platform based on ActivityPub. Ensure that you're using go11 with go-modules turned on.
activitypub fediverse podcastsThe repository of Changelog episode show notes in Markdown format. Our show notes are authored good ole' Markdown. That means you can add *s or _s for emphasis, [links](https://changelog.com) to referenced people/projects, etc. We especially encourage addition of links. These make the notes much more useful to readers and provide valuable SEO juice to the link-worthy things we discuss on our shows.
podcasts notes markdown😎 Curated list of awesome programming podcasts, organized alphabetically & topically
podcast programming-podcasts conference-talk awesome-list awesome-podcasts programming development podcasts conferences mobile aws google-cloud-platform elixirCreate podcasts from anything youtube-dl can handle. Podify is a self-hosted service that allows you to download videos and audio from any source supported by youtube-dl, sort the downloads into feeds, and subscribe to these feeds using your favorite podcast app (I recommend Podcast Addict if you're on Android).
downloader youtube youtube-dl podcastsA simple podcast downloader in Go, and an accompanying library. I needed a command line utility to download and archive my favorite podcasts. I tried various existing utilities, but they were all defective in some way or hard to set up, so I resorted to writing my own. I wanted to be able to run it as a scheduled task on my Synology box, so the easiest thing to do was write it in Go. As a side effect, it was easy to make it multithreaded.
podcastsPlease read contribution guidelines before contributing.
learning awesome knowledge podcasts awesome-list curated-list
We have large collection of open source products. Follow the tags from
Tag Cloud >>
Open source products are scattered around the web. Please provide information
about the open source projects you own / you use.
Add Projects.