Search Results for "state machine c"
Sort By:
Showing 35 open source projects for "state machine c"
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.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
JQM Java Quine McCluskey
JQM - Java Quine McCluskey for minimization of Boolean functions.
Java Quine McCluskey (JQM) implements the Quine-McCluskey algorithm with Petrick’s Method for minimizing Boolean functions. Designed for both education and industrial application, it handles up to 16 variables and functions. Uniquely, JQM bridges the gap between theory and practice: it visualizes the solution process with generated Karnaugh Maps for students, while supporting PLC engineers by exporting results to Structured Text (ST) and Ladder Diagram (LD). The software includes a GUI for... -
2
NGSpop
NGSpop: identifying & visualizing sequence variation in deepvariant
*NOTICE* The official software(NGSpop) will be updated soon, so please visit us in 2/29. Thank you. -
3
haikuVM
A Java VM for ARDUINO and other micros using the leJOS runtime.
HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick. -
4
Virtual Laboratory Environment
A multi-modeling and simulation environment to study complex systems
...VLE is based on the discrete event specification DEVS. and it implements the DSDE formalism (A merge of Dynamic Structure DEVS, DSDEVS, with Parallel DEVS, PDEVS). VLE provides a complete set of C++ libraries, called VFL (VLE Foundation Libraries), to develop DEVS models, to gets results of simulations, to launch simulation on cluster. The models can be developed with the DEVS formalism or with the classical mathematical formalism: Ordinary Differential Equation with Euler, Range-Kutta or QSS integrator, Finite state automaton (FDDEVS, UML State chart, Hybrid Petri net). ... -
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
5
SynthePG
Live Music Compositor learning base on TPG
This android app is producing music and partition sheets in real time. Furthermore, the AI module can be activated and be trained to learn you prefered style and play it. You can also team play your music with the interconnect mode. Finally, move your phone like a 'chef d'orchestre' and see how it changes the music... -
6
The Helsinki Finite-State Transducer toolkit is intended for processing natural language morphologies. The toolkit is demonstrated by wide-coverage implementations of a number of languages of varying morphological complexity.
-
7
VeriSiMPL
Verification via biSimulations of Max-Plus-Linear models
...Models are to be expressed in the C++ language. The abstraction procedure runs in C++. The generated LTS is exported to the NuSMV language. As such, it can be fed, along with a specification of interest, to the NuSMV model checker. If you are more familiar with JAVA language, we suggest you to try VeriSiMPL version 2.0 which is fully based on JAVA. If you are more familiar with MATLAB language, we suggest you to try VeriSiMPL version 1.4 which is fully based on MATLAB. -
8
Etchimaths(A'LEVEL)
Etchimaths(A'LEVEL) is a typical Mathematics software for A'LEVEL
Etchimaths(A'LEVEL) is a Mathematics software, a helping tool for Mathematics simulation(solving) and study for the GCE ADVANCED LEVEL standard.It is a solving machine as well as a teaching machine -
9
Phrasal
Statistical phrase-based machine translation system
Stanford Phrasal is a state-of-the-art statistical phrase-based machine translation system, written in Java. At its core, it provides much the same functionality as the core of Moses. Distinctive features include: providing an easy to use API for implementing new decoding model features, the ability to translating using phrases that include gaps (Galley et al. 2010), and conditional extraction of phrase-tables and lexical reordering models. -
Forever Free Full-Stack Observability | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
RDKit
Open-Source Cheminformatics and Machine Learning
A collection of cheminformatics and machine-learning software written in C++ and Python. NOTE: the RDKit source code and downloads are now in github: https://github.com/rdkit/rdkit The core algorithms and data structures are written in C++. Wrappers are provided to use the toolkit from either Python or Java. Additionally, the RDKit distribution includes a PostgreSQL-based cartridge that allows molecules to be stored in relational database and retrieved via substructure and similarity searches. -
11
Scene is a computer vision framework that performs background subtraction and object tracking, using two traditional algorithms and three more recent algorithms based on neural networks and fuzzy classification rules. For each detected object, Scene sends TUIO messages to one or several client applications. The present release features GPU accelerated versions of all the background subtraction methods and morphological post processing of the object blobs with dilation and erosion filters,...
-
12
openModeller is a complete C++ framework for species potential distribution modelling. The project also includes a graphical user interface, a web service interface and an API for Python.
-
13
Gecko Hamaker
Calculates Hamaker coefficient,interaction free energy,force,torque.
The Gecko Hamaker open-source software project is a full implementation of the fully retarded Lifshitz formulations for isotropic and anisotropic plane-plane and cylinder-cylinder interactions with intervening interlayer materials, planar systems of up to 99 layers, and graded interfaces for the modeling of grain boundaries or other continuously changing systems, accompanied by a database of material optical properties spectra. The machine-readable optical property database is available... -
14
Graphical Grammar Studio
An user friendly grammar tool for natural language processing tasks
...GGS grammars can be used to find and annotate sequences of words which respect certain conditions, in a given input. Its purpose is for creating NLP tools like phrase chunkers, named entity finders, pronoun co-reference solvers etc. A grammar is represented by a state machine which can be visualized, edited and applied. A grammar is organized in graphs of nodes. Nodes are used for consuming words from the input, for executing jumps to other graphs in the grammar or for creating annotations etc. GGS has a unique feature: It allows the user to write JavaScript code to be executed for nodes of the grammar. ... -
15
NISA
Image Stack Analyzer
OpenCV powered image stack analyser for data extraction and preparation. Can be used in conjunction with nanocalcFX. You can get sample data at the NISA homepage. Currently in pre-alpha state. -
16
NanocalcFX
Open Source Data Evaluation Software
NanocalcFX is a free and open source evaluation software for a simple yet comfortable solution to deal with thousands of transport kinetics measured with a fluorescence microscope or similar kinetics. Data can be imported from CSV or Excel files or using the dedicated image stack analyser (NISA). You can get sample data at the nanocalcFX homepage. Note that nanocalcFX is currently in a beta state. -
17
ktree
clustering, machine learning, algorithms
This project has moved to github at http://lmwtree.devries.ninja. -
18
JActor
High Performance, Lock Free Java Actors
JActor is a high-performance actor framework designed to make vertical scalability easy. JActor achieves its speed, in part, by almost always executing synchronously--though it is easy enough to force asynchronous processing when needed. JActor is divided into several GitHub projects: JActor - https://github.com/laforge49/JActor JID - https://github.com/laforge49/JID JFile - https://github.com/laforge49/JFile JANetty - https://github.com/kumarshantanu/JANetty -
19
Software application, firmware and U.I. for 4-motors 3-axis milling machine, open hardware, software and mechanics. See also project in details for schematics and images on http://www.contesti.eu/opensource/xyz-dc-motor-controller
-
20
Real time micro benchmark multi-lingual suite (RTMB) provides a good way to measure the deterministic quality of hardware, an operating system, or a Java Virtual Machine. RTMB consists of benchmarks in C, C++ and Java
-
21
Scalable Language API (SLAPI) The most comprehensive architecture for conversational natural-language applications including speech recognition/synthesis, semantics, & machine translation. Used on Android & other mobile app platforms.
-
22
A graphical MatLab framework for estimating the parameters of, modeling and simulating static and dynamic linear and polynomial systems in the errors-in-variables context with the intent of comparing various estimation strategies.
-
23
Java OpenCL Process Virtual Machine. Spring IoC based framework for complex data analysis with OpenCL computing.
-
24
BANAL - Banal And Not A Language. A prototyping notation compatible with Java and C# (via the largest possible common footprint between the two).
-
25
JPPL is an experimental, exploratory project aiming at the target of geting better (written) language analyzing software.
