Search Results for "fix"
Sort By:
Showing 2 open source projects for "fix"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
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
