mrLSD / riscv-fs

F# RISC-V Instruction Set formal specification

Date Created 2019-08-28 (4 years ago)

Commits 183 (last one 5 months ago)

Stargazers 277 (0 this week)

Watchers 12 (0 this week)

Forks 17

License mit

Ranking

RepositoryStats indexes 534,880 repositories, of these mrLSD/riscv-fs is ranked #133,315 (75th percentile) for total stargazers, and #172,456 for total watchers. Github reports the primary language for this repository as F#, for repositories using this language it is ranked #76/392.

mrLSD/riscv-fs is also tagged with popular topics, for these it's ranked: library (#738/2209), fsharp (#73/233), risc-v (#64/226), riscv (#54/147)

Other Information

There have been 5 releases, the latest one was published on 2024-01-27 (5 months ago) with the name v0.4.1.

All Topics

fs cpu isa riscv fsharp risc-v library riscv32 riscv64 risc-processor riscv-emulator riscv-simulator

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

6 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is F# but there's also others...

updated: 2024-06-02 @ 07:18pm, id: 205041674 / R_kgDODDiwCg