IdrisWeb icon indicating copy to clipboard operation
IdrisWeb copied to clipboard

verified publisher icon idris-hackers
→

Metadata

A secure web framework, built in the Idris language.

IdrisWeb

A secure web framework, built in the Idris language.

← Metadata

109
Stars
6
Forks
Watchers

Owner

verified publisher icon idris-hackers

Metadata

A secure web framework, built in the Idris language.

Back