Search Results for "springer"
Sort By:
Showing 2 open source projects for "springer"
View related business solutions-
Gen AI apps are built with MongoDB AtlasMongoDB Atlas is the developer-friendly database used to build, scale, and run gen AI and LLM-powered apps—without needing a separate vector database. Atlas offers built-in vector search, global availability across 115+ regions, and flexible document modeling. Start building AI apps faster, all in one place.
-
World class QA, 100% done-for-youMuukTest is a test automation service that combines our own proprietary, AI-powered software with expert QA services to help you achieve world class test automation at a fraction of the in-house costs.
-
1
LTL3BA
Translator of LTL formulae to Büchi automata based on LTL2BA
...Křetínský, V. Řehák, and J. Strejček: LTL to Büchi Automata Translation: Fast and More Deterministic, in Proceedings of TACAS 2012, volume 7214 of LNCS, pages 95-109. Springer-Verlag, 2012. LTL3BA supports output in Hanoi Omega-Automata (HOA) format since version 1.1.0. More information about HOA can be found here: http://adl.github.io/hoaf/ In order to compile LTL3BA, the BuDDy library (http://sourceforge.net/projects/buddy/) is needed. -
2
A8E
A small and fast Atari 800 XL emulator.
A8E is a freeware Atari 800 XL emulator written in C by Sascha Springer and has been developed completely from scratch. It uses the SDL and OpenGL (optional) library for the user interface and the audio and graphics output.
- Previous
- You're on page 1
- Next