Data

Tools

Indexes

Applications

Experiments

Awesome

An open API service indexing awesome lists of open source software.

Projects in Awesome Lists by AzeezDa

A curated list of projects in awesome lists by AzeezDa .

https://azeezda.github.io/portfolio/

My Portfolio: https://azeezda.github.io/portfolio/

Last synced: 09 May 2025

https://github.com/azeezda/portfolio

My Portfolio: https://azeezda.github.io/portfolio/

Last synced: 02 Apr 2026

https://github.com/AzeezDa/ceetle

A Rust Library for defining models in Computational Tree Logic and verifying their semantics

ctl logic rust verification

Last synced: 09 May 2025