SPL Compiler Files

A low-level system programming language with high-level syntax

Status: Alpha

Brought to you by: akapusti

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	InfoDownloads / Week
Parent folder
include	2021-04-07	2
lib	2021-04-07	1
Totals: 2 Items		3

Other Useful Business Software

Level Up Your Cyber Defense with External Threat Management

See every risk before it hits. From exposed data to dark web chatter. All in one unified view.

Move beyond alerts. Gain full visibility, context, and control over your external attack surface to stay ahead of every threat.

Try for Free

Build Securely on Azure with Proven Frameworks

Lay a foundation for success with Tested Reference Architectures developed by Fortinet’s experts. Learn more in this white paper.

Moving 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.

Download Now

Recommended Projects

Portico
An open source implementation of the High Level Architecture Run-Time Infrastructure. Focused on modularity and flexibility, Portico provides an extensible environment to support HLA simulation development and research.
SPL Tools
Stochastic Performance Logic (SPL) serves for capturing performance assumptions. With SPL, it is possible to annotate Java functions with assumptions stating, for example, that the annotated function is at most three times slower than array copying. The assumption is then checked at build...
AL-IV
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...
Limbus
A cross-platform multimedia library aimed at supporting a wide range of programming languages. It exposes a set of C APIs used to generate high-level object-oriented bindings for supported languages at compile-time.
Plutus
Plutus is the smart contract development framework for the Cardano blockchain, created using Haskell. It provides the core infrastructure for writing, testing, and deploying secure, deterministic smart contracts on the Cardano platform. Plutus includes a custom functional language (Plutus Core),...