Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with vdm
A curated list of projects in awesome lists tagged with vdm .
https://github.com/elzoughby/vdm
Free, Cross-platform video download manager based on youtube-dl
download-manager downloadmanager facebook-videos playlist soundcloud soundcloud-downloader vdm vdman video video-download-manager video-downloader videodownloadmanager vimeo vimeo-downloader youtube youtube-dl youtube-dlg youtube-downloader youtube-playlist youtube-video
Last synced: 28 Sep 2024
https://github.com/overturetool/overture
The Overture Tool
code-generation eclipse formal-methods ide java overture vdm vdm-sl vdmpp vdmrt
Last synced: 02 Oct 2024