BROWSE · DEVELOPMENT
Languages
1,704 packages in Languages
A Higher-Order Effectful Language Designed for Program Verification
codex
A Higher-Order Effectful Language Designed for Program Verification
codex
A Higher-Order Effectful Language Designed for Program Verification
codex
Development environment
codex
Command-line options analyzer component
codex
Cairo component
codex
Chart component
codex
Polygon clipping component
codex
Polygon clipping component
codex
Complex numbers component
codex
Compression support component
codex
MD5/DES crypting component
codex
Data containers component
codex
Database access component
codex
Database access component
codex
Database form component
codex
MySQL database access component
codex
ODBC database access component
codex
PostgreSQL database access component
codex
Sqlite3 database access component
codex
Database form component
codex
MySQL database access component
codex
ODBC database access component
codex
PostgreSQL database access component
codex
Sqlite3 database access component
codex
DBUS component
codex
Desktop component
codex
Expression evaluator highlight component (deprecated)
codex
Form component
codex
Form dialog component
codex