This website requires JavaScript.
Explore
Help
Sign In
xenia
/
henttp
Watch
1
Star
0
Fork
You've already forked henttp
0
Code
Issues
Pull Requests
Packages
Projects
Releases
Wiki
Activity
HTTP server library in Agda
19
Commits
1
Branch
0
Tags
141
KiB
Agda
97.5%
Nix
2.5%
main
Go to file
HTTPS
Download ZIP
Download TAR.GZ
Download BUNDLE
Clone in VS Code
Cite this repository
APA
BibTeX
Cancel
xenia
50d8535c50
Move Response into HTTP
2023-09-09 23:02:39 +02:00
src
Move Response into HTTP
2023-09-09 23:02:39 +02:00
.gitignore
Initial commit: UTF-8 encoding + decoding, parsing framework based on agdarsec, starts of a HTTP parser, fucked up socket FFI, simple HTTP server
2023-09-03 00:05:29 +02:00
flake.lock
Initial commit: UTF-8 encoding + decoding, parsing framework based on agdarsec, starts of a HTTP parser, fucked up socket FFI, simple HTTP server
2023-09-03 00:05:29 +02:00
flake.nix
devshell -> devshells
2023-09-03 13:51:19 +02:00
Mastodon