Libraries

Here are some third-party libraries for Idris:

Parsing

Package	Description	Repository
Lightyear	Parser combinators	ziman/lightyear
idris-monadic-parser	A lightweight alternative	tauli/idris-monadic-parser
commonmark	Markdown parser using CommonMark	soimort/idris-commonmark

Data

Package	Description	Repository
text	Packed encoded strings. Working but not very efficient due to abuse of String as raw byte storage.	ziman/text
idris-lens	Library for lenses.	idris-hackers/idris-lens

Bindings

Package	Description	Repository
SDL	SDL bindings	edwinb/SDL-idris
usb	Low level bindings to libusb-1.0 high level USB effects.	idris-hackers/usb
Sodium	An experimental Idris Binding to libSodium	edwinb/sodium-idris
curses	Curses bindings	JakobBruenker/curses-idris
SQLIte	Bindings for SQLite	IdrisSqlite

Web

Package	Description	Repository
IdrisWeb	A secure web framework, built in the Idris language.	idris-hackers/IdrisWeb

System Libraries

Package	Description	Repository
posix	FFI calls to handle files, etc.	idris-hackers/idris-posix

Networking

Package	Description	Repository
Protocols	A DSL for describing and implementing communication protocols.	edwinb/Protocols
IdrisNet2	Verified networking using dependent types.	SimonJF/IdrisNet2

Miscellaneous

Package	Description	Repository
Type providers demos	Demos of the type providers feature: CSV and SQLite	david-christiansen/idris-type-providers
Quantities	Type-safe physical computations and unit conversions	timjb/quantities
Command Arg Parser	A rudimentary command args parser.	jfdm/idris-args
Config File Parser	Rudimentary config file parser. Parses INI, JSON, YAML and property files.	jfdm/idris-config