Idris LibHunt

Discover popular and related Idris open-source projects

14
32
34
Our great sponsors
  • Nanos - Run Linux Software Faster and Safer than Linux with Unikernels
  • Scout APM - A developer's best friend. Try free for 14-days
  • SaaSHub - Software Alternatives and Reviews
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.