# rems-project/isla

<https://repo.masters-masters.com/repos/rems-project/isla>

[Accueil](https://repo.masters-masters.com/) › [rems-project](https://repo.masters-masters.com/owners/rems-project) › [isla](https://repo.masters-masters.com/repos/rems-project/isla)

rems-project/isla, dépôt open source à 101 étoiles sur GitHub. Carte Prototype de RepoMasters. Symbolic execution tool for Sail ISA specifications

| Champ | Valeur |
| --- | --- |
| Propriétaire | [rems-project](https://repo.masters-masters.com/owners/rems-project) |
| Étoiles | 101 |
| Forks | 26 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Aucune |
| Création | 2020 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [rems-project/isla](https://github.com/rems-project/isla) |

## Fiche du dépôt

Symbolic execution tool for Sail ISA specifications

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de rems-project

- [rems-project/sail · ★ 963 · Sail · Bêta](https://repo.masters-masters.com/repos/rems-project/sail)
- [rems-project/lem · ★ 166 · OCaml · Prototype](https://repo.masters-masters.com/repos/rems-project/lem)
- [rems-project/cerberus · ★ 104 · OCaml · Prototype](https://repo.masters-masters.com/repos/rems-project/cerberus)

## D’autres dépôts Rust

- [ling0322/libwaifu · ★ 101 · Rust · Prototype](https://repo.masters-masters.com/repos/ling0322/libwaifu)
- [re-rac/rerac · ★ 101 · Rust · Prototype](https://repo.masters-masters.com/repos/re-rac/rerac)
- [earendil-works/djs · ★ 101 · Rust · Prototype](https://repo.masters-masters.com/repos/earendil-works/djs)
- [http-rs/route-recognizer · ★ 101 · Rust · Prototype](https://repo.masters-masters.com/repos/http-rs/route-recognizer)
- [kornelski/lodepng-rust · ★ 101 · Rust · Prototype](https://repo.masters-masters.com/repos/kornelski/lodepng-rust)
- [seanmonstar/unicase · ★ 101 · Rust · Prototype](https://repo.masters-masters.com/repos/seanmonstar/unicase)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.