SmallDB, lapisan abstraksi mesin negara, adalah kerangka kerja untuk membangun lapisan model aplikasi web menggunakan mesin negara. SmallDB menggabungkan automata terbatas formal, kode PHP sederhana, dan database SQL yang kuat menjadi satu paket elegan tunggal.
libSmalldb adalah perpustakaan inti dari kerangka kerja SmallDB. Ini menyediakan implementasi mesin negara bagian SmallDB dan jika digunakan dengan FLUPDO, dapat memberikan operasi CRUD pada basis data SQL di luar kotak.
Untuk detail lebih lanjut periksa situs web proyek:
Sebagian besar kode diterbitkan di bawah lisensi Apache 2.0. Lihat file lisensi untuk detailnya.
Repositori utama Project di-host di https://git.frozen-doe.net/smalldb/libsmalldb, jangan ragu untuk mengirimkan masalah di sana atau membuat permintaan gabungan.