Search Results for "error"
Sort By:
Showing 3 open source projects for "error"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Earn up to 16% annual interest with Nexo.Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.
-
1
uIDE (Micro IDE)
uIDE (Micro IDE) is a free, open-source IDE for GPUtils
uIDE is a specialized development environment for programming PIC microcontrollers in assembly language. Built with Free Pascal and Lazarus, it offers a clean, efficient workspace for embedded systems developers working with Microchip's PIC processor family. -
2
StateOS
Free real-time operating system designed for microcontrollers
Free, extremely simple, amazingly tiny and very fast real-time operating system (RTOS) designed for deeply embedded applications. Target: ARM Cortex-M, STM8. It was inspired by the concept of a state machine. Procedure executed by the task (task state) doesn't have to be noreturn-type. It will be executed into an infinite loop. There's a dedicated function for immediate change the task state. -
3
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)
- Previous
- You're on page 1
- Next
