https://github.com/running-grass/idris2-pact

A type-safe Servant-like web framework
https://github.com/running-grass/idris2-pact

api idris2 servant web-framework

Last synced: 4 months ago
JSON representation

A type-safe Servant-like web framework

• Host: GitHub
• URL: https://github.com/running-grass/idris2-pact
• Owner: running-grass
• Created: 2025-05-23T04:12:48.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2025-06-07T17:24:40.000Z (about 1 year ago)
• Last Synced: 2025-12-23T15:06:58.748Z (6 months ago)
• Topics: api, idris2, servant, web-framework
• Language: Idris
• Homepage:
• Size: 154 KB
• Stars: 3
• Watchers: 1
• Forks: 0
• Open Issues: 4
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# Pact

## Project Status

Now it's just a simple demo.

Not ready for production.

## Project Goal

Build a type-safe RESTful API framework

## Run Demo

```bash

make run-todomvc

```

## Acknowledgements

- [Servant](https://www.servant.dev/)

- [Stefan Höck](https://github.com/stefan-hoeck)