# jrslepak/Remora

<https://repo.masters-masters.com/en/repos/jrslepak/Remora>

[Home](https://repo.masters-masters.com/en) › [jrslepak](https://repo.masters-masters.com/en/owners/jrslepak) › [Remora](https://repo.masters-masters.com/en/repos/jrslepak/Remora)

jrslepak/Remora has 128 stars on GitHub. Its RepoMasters card: Prototype tier. Dependently-typed language with Iverson-style implicit lifting Language: Racket.

| Field | Value |
| --- | --- |
| Owner | [jrslepak](https://repo.masters-masters.com/en/owners/jrslepak) |
| Stars | 128 |
| Forks | 9 |
| Language | [Racket](https://repo.masters-masters.com/en/languages/racket) |
| License | None |
| Created | 2013 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [jrslepak/Remora](https://github.com/jrslepak/Remora) |

## Repository

Dependently-typed language with Iverson-style implicit lifting

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

## Nearby in Racket

- [murisi/L2 · ★ 138 · Racket · Prototype](https://repo.masters-masters.com/en/repos/murisi/L2)
- [hexlet-boilerplates/sicp-racket · ★ 136 · Racket · Prototype](https://repo.masters-masters.com/en/repos/hexlet-boilerplates/sicp-racket)
- [IUCompilerCourse/IU-P423-P523-E313-E513-Fall-2020 · ★ 133 · Racket · Prototype](https://repo.masters-masters.com/en/repos/IUCompilerCourse/IU-P423-P523-E313-E513-Fall-2020)
- [takikawa/racket-clojure · ★ 125 · Racket · Prototype](https://repo.masters-masters.com/en/repos/takikawa/racket-clojure)
- [DexterLagan/lsh · ★ 124 · Racket · Prototype](https://repo.masters-masters.com/en/repos/DexterLagan/lsh)
- [soegaard/sketching · ★ 120 · Racket · Prototype](https://repo.masters-masters.com/en/repos/soegaard/sketching)

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