Search Results for "tpm-tools"
Sort By:
12 projects for "tpm-tools" with 2 filters applied:
-
Stop Storing Third-Party Tokens in Your DatabaseRolling your own OAuth token storage can be a security liability. Token Vault securely stores access and refresh tokens from federated providers and handles exchange and renewal automatically. Connected accounts, refresh exchange, and privileged worker flows included.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
BACnet for Dynamic C
BACnet stack for Rabbit 4000/5000/6000
...This BACnet library provides a BACnet application layer, network layer and MAC layer communications services for systems based on the Rabbit 4000, 5000 and 6000 processors. The rich feature set of the BACnet stack provides an ideal platform for developing Rabbit based control devices which can use the many BACnet tools out there to reduce the development time and effort. -
2
RKH - State Machine Framework
State machine framework for reactive embedded systems
...This modern techniques are used to give an abstract description of the dynamic behavior of a system in a substantial manner. The RKH not implements neither entire UML specs. nor entire Statechart specs. Instead, the RKH intention is to support just enough basic concepts of that powerful tools to facilitate the reactive-system modeling holding a solid, and efficient implementation. Broadly speaking, the RKH implementation has been designed from the ground up to be used in 8-bits platforms but can be easily adapted to 16 or 32-bits platforms. -
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... -
4
AnthillaOS
a linux based readonly image as appliance
Visit also: https://github.com/Anthilla/AnthillaOS For more updated Informations. Usable as test/dev exercise for appliances An x86 64bit gentoo image customized for readonly usage as appliances, fully functional and complete of more than 1000 pkg based on a gentoo+systemd distro. Hypervisor (kvm or xen) Storage (ZFS and Gluster) Container (Docker) Networking (iproute2, nftable, OpenVSwitch, Bird) Antd (http://www.anthilla.com/en/software/antd/ ) web based... -
Add Two Lines of Code. Get Full APM.Works out of the box for Rails, Django, Express, Phoenix, and more. Monitoring exceptions and performance in no time.
-
5
serlogger
serial logging tool with time stamps and hotkey and automation support
a flexible serial logging tool, runs on GNU/Linux, which can be useful for timing analysis and logging capture of embedded system development. -
6
...YAKINDU SCT HAS MOVED !! DOWNLOAD FROM https://info.itemis.com/download-yakindu-statechart-tools
-
7
JBernstein
JBernstein: Exploration techniques for non-linear constraint checking
...Concerning performance, the tool enables to check all examples in the PVS Bernstein testsuite within a second, which can be an order of magnitude faster than some other tools such as QEPCAD or REDLOG. Although JBernstein uses double, it offers automatic error-estimation capabilities (experimental) so that the generated result is correct (the solver may return unknown when the error-estimate is too large) -
8
smartCOMs
smartCOM is a graphical serial device terminal.
smartCOM is a graphical serial device terminal, it's an alternative to minicom. It is aimed mainly at hardware developers who need a gui test tools to talk to their custom hardware. The GUI is written using the wxWidgets library, and using the tinyxml to save or load config. http://gnssinfo.com/2012/11/21/wiki-smartcom/ -
9
Teuton Preinstalled Environment (TPE)
Alternative PE to rescue, hack or troubleshoot your machine or network
TeutonPE is inspired by PortableApps.com combined with a PeBuilder compiled Boot USB / CD. Programs can be used, even when there is no OS installed. BB4win is used for Live Menu and as the default Shell.All Plugins are also BartPE & XPE compatible -
Gemini 3 and 200+ AI Models on One PlatformBuild, govern, and optimize agents and models with Gemini Enterprise Agent Platform.
-
10
This is a simple command line tool to customize CP2103 USB to UART bridge controllers in home-grown hardware. VID, PID, product name string, serial number string, and release version of the device can be changed next to GPIO port modes.
-
11
-
12
With GLCD Tools you can convert windows bitmap files (bmp) to a byte array suitable for graphic LCD displays. Additionally you can create fontsets out of your system fonts for the displays. It outputs C Code which you can use in your µC project.
- Previous
- You're on page 1
- Next
