Search Results for "z/vm"

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

A Node.js serverless framework for front-end/full-stack developers. Build the application for next decade. Works on AWS, Alibaba Cloud, Tencent Cloud, and traditional VM/Container. Super easy integrate with React and Vue. There are many similar frameworks in the community, so why do you need Midway? Midway is a framework that Alibaba has been developing continuously. Before egg was used as the underlying framework, an application-oriented framework was required to connect with the group's scenarios. ...

Elixir is a dynamic, functional language for building scalable and maintainable applications. Elixir leverages the Erlang VM, known for running low-latency, distributed, and fault-tolerant systems. Elixir is successfully used in web development, embedded software, data ingestion, and multimedia processing, across a wide range of industries. All Elixir code runs inside lightweight threads of execution (called processes) that are isolated and exchange information via messages.

NSBase is a database management system. NSBase use SQLite, Firefird, Interbase, MariaDB, Mysql, Postgresql, Sybase It allows to quickly build complete database applications. Its modern interface is simple and ergonomic. Its scripting in LUA makes it possible to dynamize your applications. It is a rapid development workshop (IDE / RAD) visual type (sqlite form generator). It is a real alternative to MSAccess, kexi and other. Import your database : Text files, MS Access (MDB File),...

...It is built in OCaml and maintained by Abstract Machines. Caramel leverages the OCaml compiler, to provide you with a pragmatic type system and industrial-strength type safety, and the Erlang VM, known for running low-latency, distributed, and fault-tolerant systems used in a wide range of industries. Excellent type inference, so you never need to annotate your code. Supports sources in OCaml (and soon Reason syntax too). Caramel aims to make building type-safe concurrent programs a productive and fun experience. Caramel should let anyone with existing OCaml or Reason experience be up and running without having to relearn the entire language. ...

AntProf is Ant tasks for profiling Java programs. The Java VM includes various built-in options for gathering profile data such as -prof, -Xrunhprof, -Xprof. AntProf understands these options and packages everything up into convenient Ant tasks.