Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 31 million developers.
Hide content and notifications from this user.
Contact Support about this user’s behavior.
Miscellaneous Idris functions/types/etc
String (word) representations and proof for Idris
Text a wifi connected Android phone, it will perform the search and reply with a snippet of the first google result
test driven data structures in ansi C
Benchmark programs for Idris
Detrended Fractal Analysis of Software
Misc config stuff
Various Idris utility libraries. No guarantees. Some may end up in the stdlib someday, while others may be useless.