欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
ProcessMaker
ProcessMaker is a commercial open source workflow and business process management software suite that allows private and public organizations to automate document-intensive, approval-based processes across systems including finance, HR, and operations. Entirely web-based, it allows users across multiple sites to create and share workflows, customize forms, manage processes, and enhance reporting.
ProcessMaker includes tools to design forms, create documents, assign roles and users, create routing rules, interconnect with third-party systems including business intelligence (BI), document management (DMS), content management (CMS), and enterprise resource planning (ERP) systems through a service oriented architecture (SOA), and to map business processes quickly and easily.
ProcessMaker is licensed under the GNU Affero General Public License Version 3 (AGPLv3).