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: Nov. 30, 2021, 11:10 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.33K
657
39d
n/a

Articles

Books

Papers

Presentations

Projects

xmonad with the X11 abstracted and configured with Idris

196
11
7y 47d
MIT

Parser combinators for Idris

228
46
3y 54d
n/a

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

148
11
2y 10m
MIT

Type provider library for Idris

81
6
6y 62d
n/a

FFI Bindings to interact with the unsafe world of JavaScript

86
11
4y 5m
BSD-2-Clause

Various data structures for use in the Idris Language.

92
22
1y 6m
BSD-3-Clause

Effectful bindings for SQLite (forked from IdrisWeb)

38
8
5y 7m
MIT

An HTTP library for idris

36
7
2y 11m
BSD-2-Clause

Ring solver for Idris

18
4
3y 19d
n/a

A test framework for Idris

55
10
3y 108d
MIT

Parsers for various configuration files written in Idris.

19
7
4y 5m
BSD-3-Clause

Probabilistic computation in Idris

32
4
6y 45d
n/a

A partial implementation of Protocol Buffers in Idris

27
10
5y 4m
Apache-2.0

Free Monads and useful constructions to work with them

24
9
4y 5m
BSD-2-Clause

formally verified category theory library

213
17
1y 7m
AGPL-3.0

Programming language agnostic type construction language based on polynomials.

346
17
110d
AGPL-3.0

Backends

JVM bytecode back end for Idris

353
20
43d
n/a

Idris LLVM codegen factored out

76
12
4y 4m
n/a

Erlang Backend for Idris Compiler

186
14
4y 5m
n/a

Experimental Malfunction backend for Idris

78
6
5y 50d
MIT

Build tools | Package managers

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

32
3
2y 9m
Apache-2.0

A package manager for Idris

183
9
1y 6m
MIT

A simple build system for Idris

23
2
8m
n/a

Community