14
32
34
Our great sponsors
| Mentions | Stars | Project | Description |
|---|---|---|---|
| 1 | 0 | Turing machine in Idris, with some cool types |
Popular Idris Topics
Latest Mentions
Latest mentioned Idris repos
| Stars | Project |
|---|---|
| 0 | rado |
| 1,390 | Idris2 |
| 31 | cambria |
| 81 | order-taking |
| 6 | Idris2 |
| 5 | spidr |
| 0 | id-sixel |
| 12 | IdrisExtSTGCodegen |
| 397 | software-foundations |
| 49 | Idris2 |
| 9 | responsible |
| 72 | idris2-lsp |
| 4 | idris2-scientific |
| 12 | Idris2-boot |
Latest Discoveries
Latest discovered Idris repos
| Stars | Project |
|---|---|
| 0 | rado |
| 31 | cambria |
| 81 | order-taking |
| 6 | Idris2 |
| 5 | spidr |
| 0 | id-sixel |
| 397 | software-foundations |
| 49 | Idris2 |
| 9 | responsible |
| 72 | idris2-lsp |
| 4 | idris2-scientific |
| 12 | IdrisExtSTGCodegen |
| 1,390 | Idris2 |
| 12 | Idris2-boot |
99remotejobs.com
Find remote jobs at our new job board 99remotejobs.com.There are 34 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.