Search Results for "linux disk fix"
Sort By:
Showing 2 open source projects for "linux disk fix"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
Save Up to 91% on Cloud Compute With Spot VMsRun batch jobs at 60-91% off with Spot VMs. Long-running workloads get automatic discounts with sustained use.
-
1
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
2
[Warning] Because the lastest release of the lib is quite old, the lib may not work with lastest versions of LibNDS. A recompilation of the lib may fix it. A small lib to help you to code games & applications for your Nintendo DS console. You can find functions to manage backgrounds, sprites, colision maps, text, sound effects, etc. Requires lastest Libnds to work (part of devkitPro).
- Previous
- You're on page 1
- Next
