Search Results for "report"
Sort By:
Showing 3 open source projects for "report"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Automate contact and company data extractionGenerate leads at scale without building or maintaining scrapers. Use 10,000+ ready-made tools that handle authentication, pagination, and anti-bot protection. Pull data from business directories, social profiles, and public sources, then export to your CRM or database via API. Schedule recurring extractions, enrich existing datasets, and integrate with your workflows.
-
1
Win32 Disk Imager
A Windows tool for writing images to USB sticks or SD/CF cards
...While this has been fixed in v1.0, it is highly recommended that before an image is written to a device, the user should do a Read to a temporary file first. If this fails, please report the failure along with your system information. Known issues: Currently, the program will crash if you are using a Ramdisk. This is being debugged. -
2
freedomotic
Open IoT Framework
...[GITHUB REPOSITORY] https://github.com/freedomotic/freedomotic [USERS' MANUAL] http://freedomotic-user-manual.readthedocs.io/ [DEVELOPERS' MANUAL] http://freedomotic-developer-manual.readthedocs.io/ [INTERNATIONAL COMMUNITY] https://groups.google.com/forum/#!forum/freedom-domotics [ITALIAN COMMUNITY] https://groups.google.com/forum/#!forum/freedomotic-it [REPORT AN ISSUE] https://github.com/freedomotic/freedomotic/issues -
3
autoCode4
Synthesizing embedded control software from formal specifications
autoCode4 is an engine that synthesizes controllers from formal specifications described under a subset of linear temporal logic (LTL). Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures...
- Previous
- You're on page 1
- Next
