Search Results for "fix"
Sort By:
Showing 2 open source projects for "fix"
View related business solutions-
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
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
