Open Source Runtimes

Iced is a cross-platform, end-user-oriented GUI library for Rust, inspired by The Elm Architecture. It expects you to split user interfaces into four different concepts, which are: the state of your app; messages, which are user interactions or other meaningful events; view logic, which displays your state as widgets that can result in messages; and update logic, which offers a way to update your state and react to messages. Iced is very simple and easy to use, and is type-safe. It offers many great features including built-in widgets and custom widget support, debug overlay, a modular ecosystem and more.

OCaml is a general-purpose, industrial-strength programming language with an emphasis on expressiveness and safety. OCaml’s powerful type system means more bugs are caught at compile-time, and large, complex codebases are easier to maintain. This makes it a good language for running critical code. At the same time, sophisticated inference makes the type system unobtrusive, creating a smooth developer experience. OCaml has two compilers. One is a bytecode compiler that generates small, portable executables and is very fast. The other is a native code compiler that produces more efficient machine code; its performance matches the highest standards of modern compilers. OCaml has great support for the most popular editors. VS Code is recommended for beginners, and for power users there is deep integration with Vim and Emacs. OCaml has a rich and dynamic community and best-in-class tooling.

This project is a subproject of the WFMATH library, a library providing several complex mathematical primitives. This library will allow .NET programmers to use WFMATH in their code.

The C++ Advanced Runtime Library (CARL) is an alternative to the C/C++ standard libraries aiming at the high-level APIs and easy usage.

This library allows for the programmer to bind arbitrary properties to types which can be accessed at runtime via reflection. Properties can be declared via annotation and later manipulated through a simple static interface; no special naming conventions are required and the properties can be bound to any method which has the appropriate signature.