Search Results for "gnu science"
Sort By:
Showing 75 open source projects for "gnu science"
View related business solutions-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
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.
-
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
This sourceforge site for the project is now DEPRECATED and not updated. All current work and new releases are on github: https://github.com/OpenJML/OpenJML. The Java Modeling Language (JML) is a behavioral interface specification language that can be used to specify the behavior of Java modules (as in design by contract -- DBC). It has many tools to do assertion checking, unit testing, etc. The principal current tool of the project is OpenJML -- cf. https://www.openjml.org, with...
-
3
LaTeXDraw
Vector drawing program for LaTeX using PSTricks
LaTeXDraw is a graphical drawing editor for LaTeX. LaTeXDraw can be used to 1) generate PSTricks code; 2) directly create PDF or PS pictures. -
4
The Whole Platform is a technology for engineering the production of software. We provide an Eclipse based Language Workbench for developing, manipulating and transforming languages using a model driven approach.
-
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.
-
5
MultiJava adds open classes and multiple dispatch to Java. Open classes let one add new operations to existing objects. Multiple dispatch has many uses; one typical example is to write event handlers for Swing applications while avoiding nested ifs.
-
6
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... -
7
SmartSlog (Smart Space Ontology) is a software/application development kit (SDK or ADK) for programming Smart-M3 agents (Knowledge Processors, KPs) that consume/produce smart space content according with its high-level ontological representation. SmartSlog applies the code generation approach: given an OWL ontology description, the ontology programming library is produced. The latter provides API to access the smart space via a Smart-M3 Semantic Information Broker (SIB) and data structures...
-
8
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
9
Java Application Framework For All
JAFFA is a Rich Web 2.0 POJO based Event-Driven SOA framework
An Enterprise Focused Java Framework For Rapid Application Development. JAFFA is a Java web application development stack, build around Web 2.0 technologies (ExtJS, DWR, JAWR) with an extensive service architecture, meta-data layer and rules engine (based on JBoss AOP and Drools). It provides an event driven SOA infrastructure with advanced scheduling and queue sub-systems -
Go from Code to Production URL in SecondsSkip the Kubernetes configs. Cloud Run handles HTTPS, scaling, and infrastructure automatically. Two million requests free per month.
-
10
-
11
The target system of this project is to develop mathematically efficient program code generator from cellml like biological models described by mathematical markup languages.
-
12
PARUS
Dataflow parallel programming language for clusters
PARUS is a data-flow parallel programming language that allows to build parallel programs for clusters and MPP multiprocessors. The data-flow graph is automatically converted to the C++/MPI source and linked with the libparus runtime library. Also there are available tools for benchmarking cluster interconnect and visualize it. -
13
JinnIde is a plugin that allows using Jinni Prolog, now also hosted here on this site (with open source license!), within the confines of an IDE integrated in JEdit.
-
14
A static checker that model checks the implementation of equality for an Eclipse Java Project.
-
15
Proteus Cross Compiler system allows the generation and compilation of Java Code from llvm-gcc compatible languages (C/C++/fortran). The generated code will execute at up to 50% of native code.
-
16
Rapid development of portal-based user interfaces for submitting compute jobs to remote compute resources. It supports the mainstream compute engine vendors Sun Grid Engine, PBS and Condor. Get a job-submission portal up and running in a few hours.
-
17
Lapg is the combined lexical analyzer and parser generator, which converts a description for a context-free LALR grammar into source file to parse the grammar. Generates code for Java, Javascript, C, C++ and C#.
-
18
A simple tool to help you create an R interface for your Java project. Simply annotate the constructors and methods you want to make available and JAnnotateR will produce a working package, complete with documentation generated from javadocs.
-
19
Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl
-
20
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.
-
21
The Xholon project explores: software as systems of linked nodes, organized hierarchically. The Xholon toolkit supports this back-to-basics approach, and demonstrates practical benefits through examples from numerous domains.
-
22
MOLGENIS can be used to generate databases for life science experiments (micrroarray, mass spectrometry, genomics) having a web user interface, csv exchange format, and programmatic interfaces (web services, rest, and r-project). See NatRevGen 8.
-
23
vMAGIC is a Java-API which helps creating VHDL generators and analyzers. vMAGIC comprises three parts: 1st a VHDL'93 compliant parser, 2nd a programming model to easily create and modify VHDL constructs, and 3rd a VHDL Writer to generate code.
-
24
Compose* is a project that aims at enhancing the modularization capabilities of component- and object-based programming. In particular, Compose* offers aspect-oriented programming through the composition filters model.
-
25
Extensible language for portable parallelism. Any visual element may be used to extend program syntax and a re-writing rule defined for it. Syntactic elements have properties attached, enabling symbolic manipulation to specialize to hardware.
