Mini Projects

If you’re interested in contributing to Idris, there are several jobs and mini-projects which would help. For example:

• Adding libraries and functions to the base package.
• A :search function for the REPL, to find functions by name or by type (similar to Hoogle)
• Improving the termination and productivity checkers. The current version works in principle, but has a number of issues which need addressing.
• Expanding the tutorial with detailed examples and exercises (or even writing a new one)
• Investigating and fixing the reports on the issue tracker
• Refactoring the parser.
• A Haddock like tool for documenting APIs
• Low level bindings for various C APIs, including, but not limited to:
• Network sockets
• libgcrypt/libsodiu,
• libSDL
• High level, more dependently typed bindings for the above.
• Polishing the packaging system
• Proof automation, for example:
• A Presburger arithmetic solver.
• Commutative ring rewriting.
• Packaging for Mac, for ease of installation (ideally not requiring a Haskell platform installed)