User Experience on mobile might not be great yet, but I'm working on it.

Your first time on this page? Allow me to give some explanations.

Awesome Idris

๐›Œ Awesome Idris resources

Here you can see meta information about this topic like the time we last updated this page, the original creator of the awesome list and a link to the original GitHub repository.

Last Update: Dec. 2, 2020, 6:06 a.m.

Thank you joaomilho & contributors
View Topic on GitHub:
joaomilho/awesome-idris

Search for resources by name or description.
Simply type in what you are looking for and the results will be filtered on the fly.

Further filter the resources on this page by type (repository/other resource), number of stars on GitHub and time of last commit in months.

Official resources

A Dependently Typed Functional Programming Language

3.25K
664
31d
n/a

Articles

Books

Papers

Presentations

Projects

xmonad with the X11 abstracted and configured with Idris

195
11
6y 49d
MIT

Parser combinators for Idris

219
44
2y 56d
n/a

Type-safe physical computations and unit conversions in Idris โš– ๐ŸŒก โฒ ๐Ÿ”‹ ๐Ÿ“

146
11
1y 10m
MIT

Type provider library for Idris

76
6
5y 64d
n/a

FFI Bindings to interact with the unsafe world of JavaScript

82
10
3y 5m
BSD-2-Clause

Various data structures for use in the Idris Language.

91
22
6m
BSD-3-Clause

Effectful bindings for SQLite (forked from IdrisWeb)

35
8
4y 7m
MIT

An HTTP library for idris

32
6
1y 11m
BSD-2-Clause

Ring solver for Idris

18
4
2y 21d
n/a

A test framework for Idris

51
11
2y 110d
MIT

Parsers for various configuration files written in Idris.

20
7
3y 5m
BSD-3-Clause

Probabilistic computation in Idris

29
4
5y 47d
n/a

A partial implementation of Protocol Buffers in Idris

26
7
4y 4m
Apache-2.0

Free Monads and useful constructions to work with them

20
9
3y 5m
BSD-2-Clause

formally verified category theory library

197
16
7m
AGPL-3.0

Programming language agnostic type construction language based on polynomials.

324
16
5m
AGPL-3.0

Backends

JVM bytecode back end for Idris

311
17
2d
BSD-3-Clause

Idris LLVM codegen factored out

73
12
3y 4m
n/a

Erlang Backend for Idris Compiler

186
14
3y 5m
n/a

Experimental Malfunction backend for Idris

76
7
4y 52d
MIT

Build tools | Package managers

build tool and package manager for idris,in idris,with free monads

28
3
1y 9m
Apache-2.0

A package manager for Idris

167
9
6m
MIT

A simple build system for Idris

18
3
2y 5m
n/a

Idris rules for Bazel

Community