A Parser for JML and Java.

A Collaborative Web IDE for Reasoning about Programs

vACT: Verifiable specification synthesis with Spec-Harness feedback

Coq definition of JML and a verified runtime assertion checker [maintainer=@palmskog]

Ascoos OS ⭐ : A next‑generation PHP Web 5.0/WebAI kernel with JSQLDB, JML, DoBu, CiC, AI, IoT, macro engine, and 1500+ encrypted classes powering decentralized and multi‑framework applications.

JML exercises for the course "Software Engineering" at Politecnico di Milano

A hands-on Identity & Access Management (IAM) lab demonstrating the complete Joiner-Mover-Leaver (JML) lifecycle using Active Directory, PowerShell, RBAC, Identity Governance, audit documentation, and enterprise-style access management workflows.

Open-source identity lifecycle automation lab — HRIS-driven JML workflows with SCIM provisioning, RBAC resolution, and real-time audit dashboards

Identity and Access Management (IAM) automation project demonstrating user provisioning, RBAC, and JML processes in Active Directory using PowerShell.

An enterprise Identity Governance and Administration (IGA) framework automating the full identity lifecycle — Joiner, Mover, Leaver — with role-based access control, self-service approval workflows, and continuous audit certification. Includes architecture, workflow designs, RBAC model, and PowerShell reference implementations.

JML lifecycle automation using PowerShell 7 and Microsoft Graph API on Microsoft Entra ID

A fancy parse engine for JML (Jonio Markup Language) files

Operator surface for HRIS-to-IdP joiner/mover/leaver pipelines, SCIM sync health, orphan-account detection, and entitlement-grant recertification. Browser-only, no telemetry. AGPL-3.0.

A JML‑inspired Documentation DSL for PHP, C++, CSS, JS, and any language with docblocks

BUAA Object Oriented Programming Unit3

An annotation processor for generating JML stubs from Java source files.

Playground for OpenJML prover

An Intellij IDEA plugin for OpenJML-based Java code verification.

Case study: production zero-touch onboarding and joiner-mover-leaver automation (Workday to Okta to MDM) at a 1,000+ employee company

Visualization of Quantum Decoherence and AI Decision through JML.