# mrLSD/riscv-fs

<https://repo.masters-masters.com/en/repos/mrLSD/riscv-fs>

[Home](https://repo.masters-masters.com/en) › [mrLSD](https://repo.masters-masters.com/en/owners/mrLSD) › [riscv-fs](https://repo.masters-masters.com/en/repos/mrLSD/riscv-fs)

mrLSD/riscv-fs has 290 stars on GitHub. Its RepoMasters card: Alpha tier. F\# RISC-V Instruction Set formal specification Language: F\#.

| Field | Value |
| --- | --- |
| Owner | [mrLSD](https://repo.masters-masters.com/en/owners/mrLSD) |
| Stars | 290 |
| Forks | 15 |
| Language | [F\#](https://repo.masters-masters.com/en/languages/f-sharp) |
| License | MIT |
| Created | 2019 |
| Topics | fsharp, risc-v, cpu, isa, fs, library, riscv, risc-processor, riscv64, riscv-simulator |
| Tier | [Alpha (250 to 699 ★)](https://repo.masters-masters.com/en/ranks/b_movie) |
| View on GitHub | [mrLSD/riscv-fs](https://github.com/mrLSD/riscv-fs) |

## Repository

F\# RISC-V Instruction Set formal specification

The tier for repos with 250 to 699 ★. Published odds per card pulled: 20%. Rarity: Uncommon.

## Nearby in F\#

- [fsprojects/FSharp.TypeProviders.SDK · ★ 304 · F\# · Alpha](https://repo.masters-masters.com/en/repos/fsprojects/FSharp.TypeProviders.SDK)
- [SwensenSoftware/unquote · ★ 298 · F\# · Alpha](https://repo.masters-masters.com/en/repos/SwensenSoftware/unquote)
- [fsprojects/FSharp.Control.Reactive · ★ 291 · F\# · Alpha](https://repo.masters-masters.com/en/repos/fsprojects/FSharp.Control.Reactive)
- [fslaborg/XPlot · ★ 289 · F\# · Alpha](https://repo.masters-masters.com/en/repos/fslaborg/XPlot)
- [Zaid-Ajaj/Fable.Remoting · ★ 289 · F\# · Alpha](https://repo.masters-masters.com/en/repos/Zaid-Ajaj/Fable.Remoting)
- [SAFE-Stack/SAFE-template · ★ 289 · F\# · Alpha](https://repo.masters-masters.com/en/repos/SAFE-Stack/SAFE-template)

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