Alternatives and similar repositories for riscv-fs:

Users that are interested in riscv-fs are comparing it to the libraries listed below

• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆416Updated last week
• d-edge / fasmi
  F# -> ASM disassembler
  ☆185Updated last year
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆252Updated 5 months ago
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆688Updated 2 months ago
• 7sharp9 / write-you-an-inference-in-fsharp
  Different type inference algorithms implemented in F#
  ☆161Updated 3 years ago
• jack-pappas / fsharp-logic-examples
  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
  ☆175Updated 8 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆206Updated 2 months ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆160Updated last year
• rems-project / sail
  Sail architecture definition language
  ☆660Updated this week
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆261Updated this week
• sifive / Kami
  Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bl…
  ☆199Updated 4 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆277Updated 4 years ago
• unison-code / unison
  Unison's source code
  ☆105Updated 10 months ago
• ujamjar / hardcaml
  [Deprecated see github.com/janestreet/hardcaml] Register Transfer Level Hardware Design in OCaml
  ☆119Updated 4 years ago
• tpetricek / elmish-spreadsheet
  Implement your own Excel 365 in 100 lines of F#!
  ☆178Updated 4 years ago
• MPLLang / mpl
  The MaPLe compiler: efficient and scalable parallel functional programming
  ☆362Updated 2 weeks ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆278Updated 11 months ago
• microsoft / vcc
  A static verifier for concurrent C programs
  ☆131Updated 4 years ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆262Updated 8 months ago
• rsnikhil / Forvis_RISCV-ISA-Spec
  Formal specification of RISC-V Instruction Set
  ☆98Updated 4 years ago
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆304Updated last year
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆288Updated 10 months ago
• riscvarchive / ISA_Formal_Spec_Public_Review
  Locus site for Public Review of Several RISC-V ISA Formal Specs
  ☆73Updated 4 years ago
• stephan-tolksdorf / fparsec
  A parser combinator library for F#
  ☆537Updated last year
• Hopac / Hopac
  http://hopac.github.io/Hopac/Hopac.html
  ☆525Updated 2 years ago
• dsyme / dsyme-presentations
  Don Syme presentations and notes
  ☆232Updated this week
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• RussBaz / WebFrame
  F# framework for rapid prototyping with ASP.NET Core.
  ☆104Updated 2 years ago
• mit-plv / bedrock2
  A work-in-progress language and compiler for verified low-level programming
  ☆301Updated last week