# bamboo/idris-cil

<https://repo.masters-masters.com/en/repos/bamboo/idris-cil>

[Home](https://repo.masters-masters.com/en) › [bamboo](https://repo.masters-masters.com/en/owners/bamboo) › [idris-cil](https://repo.masters-masters.com/en/repos/bamboo/idris-cil)

bamboo/idris-cil has 133 stars on GitHub. Its RepoMasters card: Prototype tier. A Common Intermediate Language backend for Idris 1 Language: Haskell.

| Field | Value |
| --- | --- |
| Owner | [bamboo](https://repo.masters-masters.com/en/owners/bamboo) |
| Stars | 133 |
| Forks | 11 |
| Language | [Haskell](https://repo.masters-masters.com/en/languages/haskell) |
| License | None |
| Created | 2015 |
| Topics | idris, language-backend |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [bamboo/idris-cil](https://github.com/bamboo/idris-cil) |

## Repository

A Common Intermediate Language backend for Idris 1

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## Nearby in Haskell

- [owickstrom/idris-vimscript · ★ 133 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/owickstrom/idris-vimscript)
- [NorfairKing/sydtest · ★ 133 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/NorfairKing/sydtest)
- [msp-strath/TypOS · ★ 133 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/msp-strath/TypOS)
- [hdbc/hdbc · ★ 133 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/hdbc/hdbc)
- [ghcjs/jsaddle · ★ 133 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/ghcjs/jsaddle)
- [hspec/HUnit · ★ 133 · Haskell · Prototype](https://repo.masters-masters.com/en/repos/hspec/HUnit)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.