Learn how to protect your Microsoft 365 data, with simple, actionable tips today.
Watch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
Watch Demo Series
Ship Agents Faster
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
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.
pyz80 is a z80 cross-assembler written entirely in Python. It accepts text files with the syntax of the Sam Coupe's popular COMET assembler, and outputs a disk image suitable for loading in SimCoupe or transferring to floppy disk for use with a real Sam.
Atar8 Tools is a collection Atari 8-bit related of command line tools for Posix compatible environments:
- Franny is an ATR disk image editor. Supports AtariDOS II disk format (partially) and SpartaDos 2 disk format.
- Yvonne is an Atari picture viewer / converter.
- ZooEY is a cross assembler designed for 6502 processors. Binaries are generated specially for Atari 8-bit systems (AtariDOS II and SpartaDOS X formats supported). This tool is compatible with Quick Assembler, one of most...