lightyear by ziman

Parser combinators for Idris

updated at Nov. 17, 2024, 6:17 p.m.

14 +0

239 +1

43 +0

iridium by puffnfresh

xmonad with the X11 abstracted and configured with Idris

updated at Nov. 17, 2024, 3:41 p.m.

18 +0

206 +1

9 +0

Idris-dev by idris-lang

A Dependently Typed Functional Programming Language

updated at Nov. 11, 2024, 8:15 p.m.

119 +0

3,435 -1

644 +0

idris-ct by statebox

formally verified category theory library

updated at Nov. 5, 2024, 9:20 a.m.

20 +0

256 +0

23 +0

IdrisScript by idris-hackers

FFI Bindings to interact with the unsafe world of JavaScript

updated at Nov. 5, 2024, 2:51 a.m.

18 +0

91 +0

11 +0

idris-jvm by mmhelloworld

JVM bytecode back end for Idris

updated at Nov. 1, 2024, 10:03 p.m.

29 +1

469 +0

26 +0

idris-erlang by lenary

Erlang Backend for Idris Compiler

updated at Oct. 27, 2024, 4:17 a.m.

25 +0

188 +0

15 +0

idris-protobuf by google

A partial implementation of Protocol Buffers in Idris

updated at Oct. 25, 2024, 12:34 p.m.

3 +0

30 +0

11 +0

probability by BlackBrane

Probabilistic computation in Idris

updated at Oct. 20, 2024, 2:08 p.m.

3 +0

34 +0

4 +0

quantities by timjb

Type-safe physical computations and unit conversions in Idris ⚖ 🌡 ⏲ 🔋 📐

updated at Oct. 16, 2024, 6:44 a.m.

12 +0

158 +0

11 +0

software-foundations by idris-hackers

Software Foundations in Idris

updated at Oct. 15, 2024, 2:49 a.m.

29 +0

452 +0

34 +0

idris-type-providers by david-christiansen

Type provider library for Idris

updated at Sept. 30, 2024, 6:05 p.m.

9 +0

92 +0

6 +0

elba by elba

A package manager for Idris

updated at Aug. 25, 2024, 2:07 p.m.

9 +0

190 +0

10 +0

typedefs by typedefs

Programming language agnostic type construction language based on polynomials.

updated at Aug. 23, 2024, 4:23 a.m.

15 +0

366 +0

18 +0

idream by idream-build

A simple build system for Idris

updated at Aug. 7, 2024, 11:20 p.m.

1 +0

22 +0

2 +0

IdrisSqlite by david-christiansen

Effectful bindings for SQLite (forked from IdrisWeb)

updated at April 19, 2024, 8:20 a.m.

5 +0

41 +0

6 +0

idris-malfunction by stedolan

Experimental Malfunction backend for Idris

updated at March 6, 2024, 5:19 a.m.

15 +0

81 +0

6 +0

idris-http by uwap

An HTTP library for idris

updated at Feb. 2, 2024, 10:59 a.m.

7 +0

40 +0

7 +0

idris-free by idris-hackers

Free Monads and useful constructions to work with them

updated at Jan. 31, 2024, 2:52 p.m.

12 +0

26 +0

10 +0

idris-llvm by idris-hackers

Idris LLVM codegen factored out

updated at Dec. 5, 2023, 1:26 p.m.

34 +0

78 +0

13 +0