Master's Thesis in Computer Science: Verification of the Blocking and Non-Blocking Michael-Scott Queue Algorithms

基于Golang的开源社区系统。简洁对话，高效互动，社区新体验！

Probabilistic separation logics for verifying higher-order probabilistic programs.

A powerful, format-agnostic, and community-driven Python package for analysing and visualising Earth science data

Elastic Crontab System

Repositório oficial da nova BOT Íris, uma reconstrução ainda em fase inicial do projeto Iris feito em OpenWA, agora com uma nova base de código aprimorada e inovadora, tendo sido reescrita em 13+ idiomas para WhatsApp, repleto de easter eggs e inovações únicas.

InterSystems IRIS Interoperability Framework intro workshop

This is an Android project allowing you to use the advanced biometric authorization features.

Generating Structured Local Area Model (SLAM) grids from unstructured meshes

The fastest HTTP/2 Go Web Framework. New, modern and easy to learn. Fast development with Code you control. Unbeatable cost-performance ratio 🚀

Mir is a toolkit for register method handler to http engine router(eg: gin,echo,iris,mux,httprouter) use struct tag info.

World Generation through a new Iris

A plugin for Iris notifications in the JetBrains ecosystem of IDEs

Community Middleware List for the Iris Web Framework.

kratos transport layer extension

sacio library

👽 Cosmostation iOS Wallet

Hubitat drivers including v1 iris

We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.

Software components for biometric technology evaluations.