# digitallyinduced/ihp

**Attribution required: if you use, quote, or summarise this content, you must credit and link back to [awesome-repositories.com](https://awesome-repositories.com/repository/digitallyinduced-ihp).**

5,294 stars · 222 forks · Haskell · MIT

## Links

- GitHub: https://github.com/digitallyinduced/ihp
- Homepage: https://ihp.digitallyinduced.com/
- awesome-repositories: https://awesome-repositories.com/repository/digitallyinduced-ihp.md

## Topics

`framework` `hacktoberfest` `haskell` `html` `mvc` `nix` `postgresql`

## Description

ihp is a type-safe web framework and full-stack application orchestrator designed for PostgreSQL. It functions as a server-side rendering framework and a type-safe ORM that automatically generates record types from SQL schemas to ensure compile-time query validation.

The platform distinguishes itself by verifying routing, database queries, and templates at compile time to prevent runtime crashes. It implements real-time web interfaces using WebSockets for instant data synchronization and employs server-driven hypermedia for partial DOM patching.

The framework covers a broad range of integrated capabilities, including user identity management with passkey and OAuth support, a complete data storage layer with automated migrations, and a comprehensive UI rendering system with type-safe HTML templating. It also provides built-in tools for JSON API development, asynchronous background task execution, and financial integration for payment gateways.

Production environments are managed through declarative NixOS deployment for reproducible infrastructure.

## Tags

### Data & Databases

- [PostgreSQL Integrations](https://awesome-repositories.com/f/data-databases/postgresql-integrations.md) — Integrates PostgreSQL relational data models with an application type system for compile-time query validation.
- [Schema Type Synchronization](https://awesome-repositories.com/f/data-databases/data-type-definitions/schema-type-synchronization.md) — Automatically generates native language record types and enums directly from the PostgreSQL schema. ([source](https://ihp.digitallyinduced.com/Guide/architecture.html))
- [Database Record Querying](https://awesome-repositories.com/f/data-databases/database-record-querying.md) — Retrieves single or multiple records using type-safe queries and identifiers. ([source](https://ihp.digitallyinduced.com/Guide/your-first-project.html))
- [Relational Record Fetching](https://awesome-repositories.com/f/data-databases/database-record-querying/relational-record-fetching.md) — Retrieves nested resources for a record and tracks fetched state at the type level. ([source](https://ihp.digitallyinduced.com/Guide/relationships.html))
- [SQL Schema Definitions](https://awesome-repositories.com/f/data-databases/database-schema-definitions/sql-schema-definitions.md) — Maintains a canonical SQL file that serves as the declarative definition of the database state. ([source](https://ihp.digitallyinduced.com/Guide/database-migrations.html))
- [Database Transactions](https://awesome-repositories.com/f/data-databases/database-transactions.md) — Wraps multiple database operations in a transaction to ensure atomic commits. ([source](https://ihp.digitallyinduced.com/Guide/database.html))
- [Type-Safe Query Construction](https://awesome-repositories.com/f/data-databases/expression-based-data-querying/fluent-query-apis/sql-syntax-tree-construction/fluent-query-construction/type-safe-query-construction.md) — Provides a programmatic way to construct SQL queries with compile-time type safety and IDE autocompletion. ([source](https://ihp.digitallyinduced.com/Guide/querybuilder.html))
- [Type-Safe](https://awesome-repositories.com/f/data-databases/sql-generators/type-safe.md) — Maps the results of raw SQL statements directly into strongly-typed application records. ([source](https://ihp.digitallyinduced.com/Guide/typed-sql.html))
- [Type-Safe Client Generators](https://awesome-repositories.com/f/data-databases/type-safe-client-generators.md) — Automatically generates type-safe database clients and record types from the SQL schema. ([source](https://ihp.digitallyinduced.com/Guide/your-first-project.html))
- [Type-Safe Database Clients](https://awesome-repositories.com/f/data-databases/type-safe-database-clients.md) — Automatically generates record types from SQL schemas to ensure compile-time query validation.
- [Type-Safe Record CRUD](https://awesome-repositories.com/f/data-databases/type-safe-record-crud.md) — Creates, updates, and deletes database records using type-safe functions. ([source](https://ihp.digitallyinduced.com/Guide/database.html))
- [Automated Migrations](https://awesome-repositories.com/f/data-databases/automated-migrations.md) — Automatically executes pending database migrations as a prerequisite before starting the application server. ([source](https://ihp.digitallyinduced.com/Guide/deployment.html))
- [Database Integration Testing](https://awesome-repositories.com/f/data-databases/database-orchestration/test-database-provisioners/database-integration-testing.md) — Verifies data persistence and retrieval logic by running tests against a live database instance. ([source](https://ihp.digitallyinduced.com/Guide/testing.html))
- [Declarative Database Provisioners](https://awesome-repositories.com/f/data-databases/database-resource-provisioning/declarative-database-provisioners.md) — Automatically provisions PostgreSQL databases and users during the initial server boot process. ([source](https://ihp.digitallyinduced.com/Guide/deployment.html))
- [File Upload Management](https://awesome-repositories.com/f/data-databases/file-upload-management.md) — Manages the storage and retrieval of uploaded files across local and cloud backends. ([source](https://ihp.digitallyinduced.com/Guide/index.html))
- [Raw SQL Execution](https://awesome-repositories.com/f/data-databases/raw-sql-execution.md) — Runs dynamic SQL queries where table or column names are computed at runtime. ([source](https://ihp.digitallyinduced.com/Guide/database.html))
- [Configurable Storage Backends](https://awesome-repositories.com/f/data-databases/storage-abstraction/file-storage-services/configurable-storage-backends.md) — Supports switching between different storage backends, such as local disk and cloud providers. ([source](https://ihp.digitallyinduced.com/Guide/config.html))

### DevOps & Infrastructure

- [Infrastructure Provisioning](https://awesome-repositories.com/f/devops-infrastructure/infrastructure-provisioning.md) — Automates the setup of web servers, background workers, and database instances using declarative modules. ([source](https://ihp.digitallyinduced.com/Guide/deployment.html))
- [NixOS Deployments](https://awesome-repositories.com/f/devops-infrastructure/on-premise-deployment/nixos-deployments.md) — Uses NixOS for declarative provisioning of production environments and reproducible system dependency management. ([source](https://cdn.jsdelivr.net/gh/digitallyinduced/ihp@master/README.md))
- [Application Containerization](https://awesome-repositories.com/f/devops-infrastructure/container-orchestration/container-runtimes/runtime-configuration-interfaces/docker-socket-orchestrators/docker-target-configurators/docker-container-deployments/application-containerizers/application-containerization.md) — Packages the web server and background workers into portable container images for production. ([source](https://ihp.digitallyinduced.com/Guide/deployment.html))
- [Reverse Proxy Configurations](https://awesome-repositories.com/f/devops-infrastructure/reverse-proxy-configurations.md) — Manages reverse proxy settings to support WebSockets, domain redirects, and SSL termination. ([source](https://ihp.digitallyinduced.com/Guide/deployment.html))
- [Background Task Execution](https://awesome-repositories.com/f/devops-infrastructure/workflow-run-management/asynchronous-run-launches/background-task-execution.md) — Executes logic outside the web request cycle to handle reminders and queue processing. ([source](https://ihp.digitallyinduced.com/Guide/scripts.html))

### Networking & Communication

- [Real-Time Data Synchronization](https://awesome-repositories.com/f/networking-communication/communication-platforms-services/messaging-notification-systems/real-time-data-synchronization.md) — Provides real-time synchronization of database state and views to clients using WebSockets. ([source](https://cdn.jsdelivr.net/gh/digitallyinduced/ihp@master/README.md))
- [Session State Management](https://awesome-repositories.com/f/networking-communication/session-state-management.md) — Maintains stateful synchronization and session persistence between clients and servers over persistent WebSocket connections. ([source](https://ihp.digitallyinduced.com/Guide/websockets.html))
- [Custom Parameter Types](https://awesome-repositories.com/f/networking-communication/url-parameter-parsers/automatic-parameter-mapping/type-safe-parameter-mapping/custom-parameter-types.md) — Implements custom parsing and rendering logic to map complex types to URL segments. ([source](https://ihp.digitallyinduced.com/Guide/routing.html))

### Programming Languages & Runtimes

- [Compile-Time Safe Templates](https://awesome-repositories.com/f/programming-languages-runtimes/compile-time-safe-templates.md) — Uses a JSX-like syntax to create HTML templates that are fully type-checked at compile time. ([source](https://ihp.digitallyinduced.com/Guide/view.html))
- [Database Schema Type Generation](https://awesome-repositories.com/f/programming-languages-runtimes/json-schema-converters/json-schema-generators/type-to-schema-generation/database-schema-type-generation.md) — Automatically generates native record types and identifiers from the database schema for compile-time safety.
- [Type-Safe Translation Keys](https://awesome-repositories.com/f/programming-languages-runtimes/type-safe-translation-keys.md) — Uses sum types to verify that all translatable strings are mapped to localized versions at compile time. ([source](https://ihp.digitallyinduced.com/Guide/i18n.html))

### Security & Cryptography

- [API Client Authentications](https://awesome-repositories.com/f/security-cryptography/bearer-token-authentication/api-client-authentications.md) — Secures API endpoints using a combination of API keys, bearer tokens, and session cookies. ([source](https://ihp.digitallyinduced.com/Guide/json-api.html))
- [Automatic Template Escaping](https://awesome-repositories.com/f/security-cryptography/html-content-sanitization/xss-prevention-toggles/automatic-template-escaping.md) — Automatically escapes interpolated values in templates to prevent cross-site scripting attacks. ([source](https://ihp.digitallyinduced.com/Guide/security.html))
- [Session Cookie Security](https://awesome-repositories.com/f/security-cryptography/oauth-authentication/token-encryption/session-cookie-security.md) — Manages secure session cookies using encryption keys and environment variables to prevent hijacking. ([source](https://ihp.digitallyinduced.com/Guide/config.html))
- [Password Hashing Utilities](https://awesome-repositories.com/f/security-cryptography/security/cryptography-and-secrets/cryptographic-primitives-management/password-hashing-utilities.md) — Uses specialized algorithms to transform user passwords into irreversible hashes for secure storage. ([source](https://ihp.digitallyinduced.com/Guide/authentication.html))
- [SQL Injection Prevention](https://awesome-repositories.com/f/security-cryptography/sql-injection-prevention.md) — Prevents SQL injection by using parameterized queries to isolate user input from SQL commands. ([source](https://ihp.digitallyinduced.com/Guide/security.html))
- [Secure Client-Side Session Storages](https://awesome-repositories.com/f/security-cryptography/client-side-session-manipulation/secure-client-side-session-storages.md) — Stores session data in cryptographically signed client-side cookies to prevent tampering. ([source](https://ihp.digitallyinduced.com/Guide/security.html))
- [Identity-Based Access Restrictions](https://awesome-repositories.com/f/security-cryptography/domain-access-restrictions/administrative-access-restrictions/identity-based-access-restrictions.md) — Enforces access restrictions by redirecting unauthenticated users or blocking access based on assigned roles. ([source](https://ihp.digitallyinduced.com/Guide/authorization.html))
- [Email Verification Flows](https://awesome-repositories.com/f/security-cryptography/email-authentication-strategies/email-verification-flows.md) — Implements a workflow requiring users to click a confirmation link before permitting application login. ([source](https://ihp.digitallyinduced.com/Guide/authentication.html))
- [Resource-Level Access Controls](https://awesome-repositories.com/f/security-cryptography/granular-access-controls/resource-level-access-controls.md) — Validates permissions against specific resource instances to control access based on roles. ([source](https://ihp.digitallyinduced.com/Guide/))
- [Row Level Security](https://awesome-repositories.com/f/security-cryptography/identity-access-management/access-control/data-resource-permissions/row-level-security.md) — Defines database-level policies that restrict data visibility based on the authenticated user's identity. ([source](https://ihp.digitallyinduced.com/Guide/authorization.html))
- [Passkey Authentication](https://awesome-repositories.com/f/security-cryptography/passkey-authentication.md) — Authenticates users without passwords using the WebAuthn standard. ([source](https://ihp.digitallyinduced.com/Guide/passkeys.html))
- [Passkey Listings and Deletions](https://awesome-repositories.com/f/security-cryptography/passkey-authentication/passkey-listings-and-deletions.md) — Provides tools to register authentication devices and manage passkeys, including renaming and deletion. ([source](https://ihp.digitallyinduced.com/Guide/passkeys.html))
- [Fine-Grained Permission Checking](https://awesome-repositories.com/f/security-cryptography/permission-based-access-control/team-action-permission-checks/fine-grained-permission-checking.md) — Evaluates ownership and permission rules to authorize specific actions on individual resources. ([source](https://ihp.digitallyinduced.com/Guide/authorization.html))
- [Third-Party Identity Integrations](https://awesome-repositories.com/f/security-cryptography/third-party-identity-integrations.md) — Integrates with external identity providers to allow users to sign in using existing accounts. ([source](https://ihp.digitallyinduced.com/Guide/oauth.html))
- [WebSocket Authentications](https://awesome-repositories.com/f/security-cryptography/user-authentication-systems/websocket-authentications.md) — Verifies and identifies the logged-in user within persistent WebSocket connections to restrict interactions. ([source](https://ihp.digitallyinduced.com/Guide/websockets.html))
- [User Identity Management](https://awesome-repositories.com/f/security-cryptography/user-identity-management.md) — Implements secure user registration, session handling, and passwordless authentication using Passkeys and OAuth.

### Software Engineering & Architecture

- [Full-Stack Orchestrators](https://awesome-repositories.com/f/software-engineering-architecture/full-stack-orchestrators.md) — Orchestrates the entire application lifecycle from database schema design to NixOS production deployment.
- [Single Page Applications](https://awesome-repositories.com/f/software-engineering-architecture/software-architecture/architectural-patterns/layering-presentation/application-layer-architectures/application-architecture-patterns/single-page-applications.md) — Implements a single-page application architecture that updates content dynamically via bidirectional server communication. ([source](https://ihp.digitallyinduced.com/Guide/))
- [Database Schema Migrations](https://awesome-repositories.com/f/software-engineering-architecture/data-migrators/database-schema-migrations.md) — Provides automated versioning and execution of SQL migration files to evolve the database schema. ([source](https://ihp.digitallyinduced.com/Guide/database-migrations.html))
- [Request Interception Middleware](https://awesome-repositories.com/f/software-engineering-architecture/request-interception-middleware.md) — Executes shared logic such as authentication checks and authorization before controller actions run. ([source](https://ihp.digitallyinduced.com/Guide/json-api.html))
- [Automatic Form Generation](https://awesome-repositories.com/f/software-engineering-architecture/schema-based-state-validation/form-validation-schemas/automatic-form-generation.md) — Automatically generates HTML input fields and validation logic directly from database record schemas. ([source](https://ihp.digitallyinduced.com/Guide/form.html))

### Testing & Quality Assurance

- [Compile-Time Type Validation](https://awesome-repositories.com/f/testing-quality-assurance/type-assertions/compile-time-type-validation.md) — Provides compile-time validation of routing, database queries, and templates to prevent runtime crashes. ([source](https://cdn.jsdelivr.net/gh/digitallyinduced/ihp@master/README.md))
- [SQL Query Validators](https://awesome-repositories.com/f/testing-quality-assurance/validation-verification/input-validation/compile-time-validators/sql-query-validators.md) — Verifies SQL syntax and result types against a live development database during the build process. ([source](https://ihp.digitallyinduced.com/Guide/typed-sql.html))
- [Test User Authenticators](https://awesome-repositories.com/f/testing-quality-assurance/api-network-testing/authentication-testing-utilities/test-user-authenticators.md) — Allows tests to execute actions as specific users to verify permission-based logic. ([source](https://ihp.digitallyinduced.com/Guide/testing.html))
- [Integrated Logic Testing](https://awesome-repositories.com/f/testing-quality-assurance/integrated-logic-testing.md) — Provides a test suite to verify full application logic and prevent regressions. ([source](https://ihp.digitallyinduced.com/Guide/))
- [Unit Testing](https://awesome-repositories.com/f/testing-quality-assurance/software-testing/testing-frameworks/unit/unit-testing.md) — Executes isolated tests for application logic and view rendering without database dependencies. ([source](https://ihp.digitallyinduced.com/Guide/testing.html))

### User Interface & Experience

- [Stateful UI Components](https://awesome-repositories.com/f/user-interface-experience/action-trigger-components/server-side-method-invokers/client-side-ui-triggers/stateful-ui-components.md) — Creates stateful client-side elements that trigger server-side actions and update the view. ([source](https://ihp.digitallyinduced.com/Guide/server-side-components.html))
- [Server-Driven DOM Patching](https://awesome-repositories.com/f/user-interface-experience/partial-property-updates/server-driven-dom-patching.md) — Patches changed sections of a page using server-side diffing and prefetching for seamless user experiences. ([source](https://ihp.digitallyinduced.com/Guide/view.html))
- [Conditional Rendering](https://awesome-repositories.com/f/user-interface-experience/conditional-rendering.md) — Conditionally renders view components based on the user's authentication status or assigned roles. ([source](https://ihp.digitallyinduced.com/Guide/authorization.html))
- [Page Layout Templates](https://awesome-repositories.com/f/user-interface-experience/page-layout-templates.md) — Wraps views in a consistent global structural layout and injects request-scoped data. ([source](https://ihp.digitallyinduced.com/Guide/view.html))

### Web Development

- [Parameter Extraction](https://awesome-repositories.com/f/web-development/backend-development/request-response-handling/http-request-handling/request-parsing/parameter-extraction.md) — Retrieves and converts values from query strings and request bodies into supported types. ([source](https://ihp.digitallyinduced.com/Guide/controller.html))
- [URL Route Mapping](https://awesome-repositories.com/f/web-development/dynamic-content-resolution/url-route-mapping.md) — Maps RESTful URL patterns to specific controller actions for request handling. ([source](https://ihp.digitallyinduced.com/Guide/json-api.html))
- [Type-Safe Expression Embedding](https://awesome-repositories.com/f/web-development/expression-embeddings/type-safe-expression-embedding.md) — Injects variables and expressions into HTML markup using type-safe instances verified at compile time. ([source](https://ihp.digitallyinduced.com/Guide/hsx.html))
- [Hypermedia-Driven Rendering](https://awesome-repositories.com/f/web-development/hypermedia-driven-rendering.md) — Generates type-safe HTML views and updates the DOM via server-driven hypermedia and partial page patching.
- [Hypermedia Swapping](https://awesome-repositories.com/f/web-development/hypermedia-swapping.md) — Updates specific page sections by sending HTML fragments from the server instead of JSON.
- [PostgreSQL Web Frameworks](https://awesome-repositories.com/f/web-development/postgresql-web-frameworks.md) — Provides a web development platform with a type-safe query builder and automated migrations based on PostgreSQL schemas.
- [Real-Time Communication](https://awesome-repositories.com/f/web-development/real-time-communication.md) — Provides real-time web interfaces with bidirectional communication and instant data synchronization via WebSockets.
- [Application Route Definitions](https://awesome-repositories.com/f/web-development/routing-systems/routing/route-definition-strategies/application-route-definitions.md) — Defines mappings between URI paths, HTTP methods, and controller actions using a DSL. ([source](https://ihp.digitallyinduced.com/Guide/routing.html))
- [Server-Side Rendering Frameworks](https://awesome-repositories.com/f/web-development/server-side-rendering-frameworks.md) — Generates type-safe HTML views and updates the DOM via server-driven hypermedia and WebSockets.
- [WebSocket State Synchronization](https://awesome-repositories.com/f/web-development/state-syncing-reactivity/websocket-state-synchronization.md) — Maintains persistent bidirectional connections to push automatic UI updates when database records change.
- [Type-Safe Routing](https://awesome-repositories.com/f/web-development/type-safe-routing.md) — Verifies that URLs, controller actions, and template links are consistent at compile time.
- [Type-Safe Web Frameworks](https://awesome-repositories.com/f/web-development/type-safe-web-frameworks.md) — Verifies routing, database queries, and templates at compile time to prevent runtime crashes.
- [URL Generators](https://awesome-repositories.com/f/web-development/url-generators.md) — Programmatically constructs full URLs and relative paths for consistent application linking. ([source](https://ihp.digitallyinduced.com/Guide/routing.html))
- [WebSocket Communication](https://awesome-repositories.com/f/web-development/websocket-communication.md) — Establishes bidirectional WebSocket communication for instant application updates. ([source](https://ihp.digitallyinduced.com/Guide/index.html))
- [Client-Side Database APIs](https://awesome-repositories.com/f/web-development/client-side-database-apis.md) — Executes database lookups and updates from client-side code using a standardized API. ([source](https://ihp.digitallyinduced.com/Guide/realtime-spas.html))
- [Client-Side Scripting](https://awesome-repositories.com/f/web-development/client-side-scripting.md) — Embeds scripts in HTML attributes to perform DOM manipulations without requiring external files. ([source](https://ihp.digitallyinduced.com/Guide/htmx-and-hyperscript.html))
- [Ajax Form Submissions](https://awesome-repositories.com/f/web-development/form-data-serializers/ajax-form-submissions.md) — Customizes form submission methods and target URLs using AJAX or standard browser behavior. ([source](https://ihp.digitallyinduced.com/Guide/form.html))
- [Form Renderers](https://awesome-repositories.com/f/web-development/form-management-libraries/form-renderers.md) — Renders built-in input types pre-filled with database record values. ([source](https://ihp.digitallyinduced.com/Guide/form.html))
- [Asynchronous Form Submissions](https://awesome-repositories.com/f/web-development/form-processing/asynchronous-form-submissions.md) — Intercepts form submissions via JavaScript to enable smooth transitions and prevent double-submissions. ([source](https://ihp.digitallyinduced.com/Guide/form.html))
- [HTTP Redirects](https://awesome-repositories.com/f/web-development/http-redirects.md) — Sends HTTP redirects to internal actions, specific paths, or external URLs. ([source](https://ihp.digitallyinduced.com/Guide/controller.html))
- [Internationalization Support](https://awesome-repositories.com/f/web-development/internationalization-support.md) — Implements multi-language support to provide localized experiences for international users. ([source](https://ihp.digitallyinduced.com/Guide/))
- [JSON APIs](https://awesome-repositories.com/f/web-development/json-apis.md) — Creates endpoints that serve structured JSON data for use in mobile or single-page applications. ([source](https://ihp.digitallyinduced.com/Guide/))
- [Middleware](https://awesome-repositories.com/f/web-development/middleware.md) — Provides a system for integrating reusable middleware components to extend application functionality. ([source](https://ihp.digitallyinduced.com/Guide/config.html))
- [Page Transition Controls](https://awesome-repositories.com/f/web-development/page-transition-controls.md) — Provides lifecycle events that trigger code execution during partial page updates. ([source](https://ihp.digitallyinduced.com/Guide/assets.html))
- [JSON Parsers](https://awesome-repositories.com/f/web-development/request-body-handling/request-body-alterations/request-body-parsing/json-parsers.md) — Extracts fields from incoming JSON requests and provides validation errors for invalid payloads. ([source](https://ihp.digitallyinduced.com/Guide/json-api.html))
- [Request-to-Record Mapping](https://awesome-repositories.com/f/web-development/request-mappings/request-to-record-mapping.md) — Maps incoming request data into typed record structures and handles validation failures. ([source](https://ihp.digitallyinduced.com/Guide/controller.html))
- [Request Middleware](https://awesome-repositories.com/f/web-development/request-middleware.md) — Passes HTTP requests through a configurable chain of functions for shared logic like authentication and CORS.
- [Content Negotiation](https://awesome-repositories.com/f/web-development/response-formatting/content-negotiation.md) — Sends either HTML or JSON from a single action based on the HTTP Accept header. ([source](https://ihp.digitallyinduced.com/Guide/json-api.html))
- [JSON Response Formatters](https://awesome-repositories.com/f/web-development/response-formatting/json-response-formatters.md) — Produces JSON output from views or controller actions for API integration. ([source](https://ihp.digitallyinduced.com/Guide/view.html))
- [Response Rendering](https://awesome-repositories.com/f/web-development/response-rendering.md) — Sends responses in multiple formats including HTML, JSON, and plain text from a single controller action. ([source](https://ihp.digitallyinduced.com/Guide/architecture.html))
- [Convention-Based URL Routers](https://awesome-repositories.com/f/web-development/rule-based-url-routing/convention-based-url-routers.md) — Resolves URLs to controller actions automatically based on naming conventions and HTTP methods. ([source](https://ihp.digitallyinduced.com/Guide/architecture.html))
- [Type-Safe Schema Validations](https://awesome-repositories.com/f/web-development/type-safe-schema-validations.md) — Provides type-safe validation schemas for user input to ensure data integrity before storage. ([source](https://cdn.jsdelivr.net/gh/digitallyinduced/ihp@master/README.md))

### Artificial Intelligence & ML

- [Authenticated User Retrieval](https://awesome-repositories.com/f/artificial-intelligence-ml/agentic-systems-frameworks/agent-orchestration-multi-agent/security-and-auth/authentication-strategies/request-handling/authenticated-user-retrieval.md) — Retrieves logged-in user data and redirects unauthenticated users to the login page. ([source](https://ihp.digitallyinduced.com/Guide/authentication.html))

### Part of an Awesome List

- [Form Validation](https://awesome-repositories.com/f/awesome-lists/devtools/form-validation.md) — Displays error messages and invalid CSS classes when record validation fails. ([source](https://ihp.digitallyinduced.com/Guide/form.html))
- [Visual Schema Editors](https://awesome-repositories.com/f/awesome-lists/devtools/schema-visualization/visual-schema-editors.md) — Provides a built-in GUI editor for visually managing database tables and constraints. ([source](https://ihp.digitallyinduced.com/Guide/database.html))

### Development Tools & Productivity

- [Boilerplate Generators](https://awesome-repositories.com/f/development-tools-productivity/code-generators/boilerplate-generators.md) — Automatically generates controllers, views, and migrations from the IDE to accelerate development. ([source](https://cdn.jsdelivr.net/gh/digitallyinduced/ihp@master/README.md))
- [Compile-Time Parameter Bindings](https://awesome-repositories.com/f/development-tools-productivity/compile-time-parameter-bindings.md) — Binds URL path segments and query parameters directly to typed record fields at compile time. ([source](https://ihp.digitallyinduced.com/Guide/routing.html))
- [Web Application Hot Reloading](https://awesome-repositories.com/f/development-tools-productivity/hot-code-reloading/web-application-hot-reloading.md) — Refreshes the running application instantly upon code changes for immediate developer feedback. ([source](https://ihp.digitallyinduced.com/))
- [IDE Integrations](https://awesome-repositories.com/f/development-tools-productivity/ide-integrations.md) — Connects editors to language servers to provide syntax highlighting and autocompletion. ([source](https://ihp.digitallyinduced.com/Guide/editors.html))
- [Live Script Execution](https://awesome-repositories.com/f/development-tools-productivity/platform-script-execution/dynamic-script-execution-environments/inline-script-execution/live-script-execution.md) — Executes script logic or inline code during development via an interactive session. ([source](https://ihp.digitallyinduced.com/Guide/scripts.html))