#

specif

Here are 3 public repositories matching this topic...

codespecs / daikon

Dynamic detection of likely invariants

c java machine-learning csharp eiffel perl specifications machinelearning specification-by-example specif

Updated Feb 2, 2026
C

oalt / MDD4All.SpecIF.Microservice

SpecIF-Backend implementation in .NET

mongodb backend specif

Updated Sep 18, 2025
C#

oalt / specif-mongodb-backend

SpecIF WebAPI backend with MongoDB relized with Docker Compose.

docker mongodb backend docker-compose specif

Updated Oct 20, 2022
Batchfile

Improve this page

Add a description, image, and links to the specif topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the specif topic, visit your repo's landing page and select "manage topics."