Search Results for "support system java"
Sort By:
14 projects for "support system java" with 2 filters applied:
-
Build Securely on Azure with Proven FrameworksMoving to the cloud brings new challenges. How can you manage a larger attack surface while ensuring great network performance? Turn to Fortinet’s Tested Reference Architectures, blueprints for designing and securing cloud environments built by cybersecurity experts. Learn more and explore use cases in this white paper.
-
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
Lean 4
Lean 4 programming language and theorem prover
Lean 4 is both a programming language and an interactive theorem prover, designed to support formal reasoning while also functioning as an efficient and extensible general-purpose language. The project serves researchers, mathematicians, programmers, and formal methods users who need a system for writing machine-checked proofs as well as executable programs in the same environment. One of its defining characteristics is its emphasis on extensibility, since Lean 4 is built to allow users to develop custom automation, metaprogramming tools, and domain-specific extensions instead of being limited to a fixed proving workflow. ... -
2
mruby
Lightweight Ruby
mruby is a lightweight implementation of the Ruby programming language designed for embedding and integration into applications, particularly in resource-constrained environments such as embedded systems or game engines. It maintains compatibility with modern Ruby syntax while offering a significantly reduced footprint compared to the standard Ruby interpreter. The system includes its own virtual machine, bytecode compiler, and interactive shell, enabling developers to write, compile, and... -
3
Starlark in Go
Starlark in Go: the Starlark configuration language, implemented in Go
starlark-go is the official Go implementation of the Starlark programming language, a Python-like, dynamically typed configuration and scripting language originally developed for the Bazel build system. Starlark combines Python’s expressiveness and readability with deterministic execution, making it ideal for defining build configurations, scripting automation, and embedding domain-specific logic in applications. The Go-based interpreter allows developers to run or embed Starlark programs... -
4
CLIPS Rule Based Programming Language
Expert System Tool
CLIPS is a forward-chaining rule-based programming language written in C that also provides procedural and object-oriented programming facilities. -
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
Seed7
Interpreter and compiler for the Seed7 programming language.
Interpreter, compiler, libraries, documentation and examples for the Seed7 programming language. Seed7 is a general purpose programming language. It is a higher level language compared to Ada, C/C++ and Java. In Seed7 new statements and operators can be declared easily. Functions with type results and type parameters are more elegant than a template or generics concept. Object orientation is used where it brings advantages and not in places where other solutions are more obvious. Seed7 spares no effort to support portable programming. ... -
6
NetRexx
The open sourced NetRexx reference implementation
NetRexx is a dialect of the REXX programming language to run on the Java virtual machine. It supports a classic REXX syntax, with no reserved keywords, along with considerable additions to support object-oriented programming in a manner compatible with Java's object model, yet can be used as both a compiled and an interpreted language, with an option of using only data types native to the JVM or the NetRexx runtime package. -
7
JSchemePlus
An hack of Jscheme with a lot of enhancements and additional features.
JSchemePlus is an hack of Jscheme 1.4 by Peter Norvig. It allows to redistribute a script in an executable JAR file of only ~40K and implements all of R4RS with a lot of additional functions, like: (execute command) (random) (sequence from up-to step) (split list element) (string-split string sub-string) (read-all-from-file file) (write-to-file file data) (file-size file) etc... For the complete list read the HELP file or type (help). JSchemePlus needs only the Java Virtual Machine (version... -
8
OpenPEARL
PEARL Compiler and Runtime System
PEARL is a high level procedural programming language, which was especially designed for the demanding need to have an expressive and comfortable language for solving multitasking problems when controlling technincal processes. PEARL is an abbreviation for "(P)rocess and (E)xperiment (A)utomation (R)ealtime (L)anguage". It was designed around 1975 at the IRT Institute of the Leibniz University in Hannover with the idea in mind to have an easy to learn programming language for realtime... -
9
AL-IV
ALFOUR Programming language. Simple, safe, power, multi-platform.
A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level. -
Paessler - Monitor Your Whole Network in MinutesWaiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
-
10
Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io
-
11
X11-Basic
A BASIC interpreter and compiler with graphics.
X11-Basic is a dialect of the BASIC programming language with graphics capability that integrates features like shell scripting, cgi-Programming and full graphical visualisation into the easy to learn basic language on modern computers. -
12
SuperCollider
Real-time audio synthesis engine and music programming language
N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software. -
13
Human Speakable Programming Language
foundation of the General Intelligence Operating System
...This project has moved to http://sourceforge.net/p/spel We are currently working on human-to-computer programming-language with mostly English base vocabulary. Though once we have that, we plan to add support for other world Languages, including Chinese, Spanish, Russian, Arabic, Hindi, among others. Eventually HSPL shall be the foundation of GIOS the General Intelligence Operating System. Which is an open source operating system, that can be used for intelligent robots, computers and technological host-bodies. Regularly post on blog about HSPL at http://weyounet.info/?... -
14
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.
- Previous
- You're on page 1
- Next
