Search Results for "notation"
Sort By:
Showing 32 open source projects for "notation"
View related business solutions-
Ship Agents FasterGemini 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.
-
Train ML Models With SQL You Already KnowBuild and deploy ML models using familiar SQL. Automate data prep with built-in Gemini. Query 1 TB and store 10 GB free monthly.
-
1
Community Z Tools
Tool support for the Z formal notation
Community Z Tools Project (CZT): Tools for editing, typechecking and animating Z specifications and related notations. Includes a Java framework for building formal methods tools. NOTE: development of CZT has now moved to GitHub: https://github.com/community-z-users/czt -
2
C3PO is a software synthesis tool that provides a solution for building maintainable, reliable and robust software infrastructures and/or compiler frontends from a set of attributed grammar rules in EBNF notation.
-
3
The GUIDOLib provides a powerful engine for the graphic rendering of music scores, based on the Guido Music Notation format. It supports Linux, Mac OS X, Windows, Android and iOS operating systems. A Java JNI interface is available as well as a Javascript version of the library. A Web API has also been designed, allowing to deploy the engine as a Web service.
-
4
SQL-Admin is a tool entirely written in Java. It uses JDBC and swing . Admin offers a SQL-Monitor, Data-Export, Data-Import, dynamic forms, guided Query, DML functions and data selection. It 's code-generator generates OO-Wrapper and SWING-GUI.
-
99.99% Uptime for MySQL and PostgreSQL DatabasesCloud SQL Enterprise Plus delivers near-zero downtime with 35 days of point-in-time recovery. Supports MySQL, PostgreSQL, and SQL Server.
-
5
RRDiagram
Generate railroad diagrams from code or BNF. Generate BNF from code
RR Diagram allows to generate railroad diagrams (also called syntax diagrams) from code or from BNF notation. The output format is SVG which can be integrated to web pages and where rules can contain links. RR Diagram can also be used to generate BNF notation from a model. -
6
-
7
json4java
Very Compact Java Reader / Writer ( 12kb)
...I did not try all UTF16 encodings , but let me know i will fix it IF YOU GIVE ME A TEST CASE. ( input this , expect that ) Also floating point parsing for exponential notation can be slighly improved , does not bother on my projects. Android dev will like it to be as small as it can be i guess. Documentation in readme.txt -
8
Korat2015
Enhanced Korat supports GUI, FSM, JUNG and JSON.
...Korat 2015 includes the below enhancements to Korat: - Graphical User Interface using Java Swing - Graph Output Format using JUNG (Java Universal Network/Graph Framework) - Finite State Machine Domain - Graph Archival using JSON (JavaScript Object Notation) The Wiki page has information to download, install and run Korat 2015. -
9
MSCViewer
A tool for visualization and analysis of logs as sequence diagrams
MSCViewer is a tool intended for debugging of control flows in concurrent, distributed systems. The tool loads logs generated by various entities in the system and visualize a sequence diagram chart for events and interactions. The diagram is fully interactive: entity can be added/removed from the diagram and shuffled; events can be filtered, searched, highlighted and annotated with comments. MSCViewer features integration with a Python interpreter which allows writing Python scripts... -
$300 Free Credits for Your Google Cloud ProjectsLaunch your next project with $300 in free Google Cloud credits—no strings attached. Test, build, and deploy without risk. Use your credits across the entire Google Cloud platform to find what works best for your needs. After your credits are used, continue with always-free tier services. Only pay when you're ready to scale. Sign up in minutes and start exploring.
-
10
ScenarLang
A DSL that ease (shortens) the set up mockito based unit tests
This domain specific language lets you declare complex java objects with a Json-like notation. In addition to that, it lets you specify in a natural way what the mockito mocks should return when called with a given value. -
11
TextUML Toolkit is an IDE for UML that lets you create models at the same speed you write code by using a textual notation instead of the conventional graphical one. This project is now hosted on github. https://abstratt.github.io/textuml
-
12
JetBrains MPS
JetBrains Meta programming System
...MPS also supports seamless integration between DSLs and general-purpose languages, allowing mixed projects where different parts are expressed in the most appropriate notation. -
13
Bracer
Repository has been moved to: http://dtitov.github.com/bracer
Java library for parsing and evaluating math expressions. Javadoc is available at http://bracer.sourceforge.net/javadoc/ P.S. This library depends on Apache Commons Math, so don't forget to include commons-math-2.2.jar to your project. -
14
BinaryNotes is the Open Source ASN.1 (Abstract Syntax Notation One) framework for Java and .NET based on annotations/attributes. The framework has the flexible ASN.1 compiler, the runtime library that supports BER, DER and PER, and the Message Queues
-
15
haggies is an optimizing code generator. It can read in expressions in common notation and generate output for many programming languages including C/C++, Java, Fortran, Python and many others.
-
16
Sketchpad is a tool for drawing and editing BPMN (Business Process Modeling Notation) diagrams. Sketchpad process models are serialized and stored as XPDL 2.1 files. Sketchpad was originally developed by Global 360 as Process Modeler Analyst Edition.
-
17
BANAL - Banal And Not A Language. A prototyping notation compatible with Java and C# (via the largest possible common footprint between the two).
-
18
A Java collections framework based on set theory, specifically, from Spivey's work on the Z notation (a formal specification language).
-
19
myjson is a small java library that operates with object literals expressed in JSON notation. It can not only convert from java objects to JSON and back, but also compare or even update a java object with the information contained in a JSON string.
-
20
Graphical front-end for GNU Octave. Edit formulas in mathematical notation. Uses Octave (Matlab clone) as a math engine.
-
21
Java library for simple managing and solving sophisticated mathematic expressions and equations, based on Reverse Polish Notation (RPN)
-
22
This is an utility, used to convert java serializable object to javascript object. It follows JSON ( Javascript Object Notation). This utility mainly useful in web2.0 application development.
-
23
ASNEditor provides an Eclipse 3 editor plugin for ASN.1 (Abstract Syntax Notation One) files. It presents a dump view for ASN.1 BER encoded messages, an outline page, syntax highlighting, compare view, content assist, goto declaration, bracket matching..
-
24
Java Object Notation tools are libraries to use JSON with JAVA. SAJ (Simple API for JSON)=> An event parser for json
-
25
openASN.1 is an Open Source Java toolkit for the Abstract Syntax Notation One (ASN.1) which consists of a compiler and codec with a low footprint runtime library.