Alternatives and similar repositories for riscv-fs:

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

• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆257Updated 7 months ago
• d-edge / fasmi
  F# -> ASM disassembler
  ☆187Updated last year
• janestreet / hardcaml
  Hardcaml is an OCaml library for designing hardware.
  ☆702Updated 3 months 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
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆423Updated this week
• 7sharp9 / write-you-an-inference-in-fsharp
  Different type inference algorithms implemented in F#
  ☆163Updated 4 years ago
• fsprojects / fsharp-ai-tools
  TensorFlow API for F# + F# for AI Models eDSL
  ☆214Updated 3 years ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆209Updated 2 weeks ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 2 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆265Updated this week
• riscvarchive / ISA_Formal_Spec_Public_Review
  Locus site for Public Review of Several RISC-V ISA Formal Specs
  ☆73Updated 4 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆279Updated 4 years ago
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆102Updated 2 months ago
• rems-project / sail
  Sail architecture definition language
  ☆685Updated this week
• fsprojects-archive / zzarchive-llvm-fs
  LLVM bindings for F#
  ☆95Updated 8 years ago
• fsprojects / FsLexYacc
  Lexer and parser generators for F#
  ☆214Updated last month
• tpetricek / elmish-spreadsheet
  Implement your own Excel 365 in 100 lines of F#!
  ☆178Updated 4 years ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆161Updated last year
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆197Updated last year
• project-everest / vale
  Verified Assembly Language for Everest
  ☆280Updated last year
• cucapra / filament
  Fearless hardware design
  ☆175Updated this week
• RussBaz / WebFrame
  F# framework for rapid prototyping with ASP.NET Core.
  ☆104Updated 2 years ago
• rsnikhil / Forvis_RISCV-ISA-Spec
  Formal specification of RISC-V Instruction Set
  ☆99Updated 4 years ago
• Hopac / Hopac
  http://hopac.github.io/Hopac/Hopac.html
  ☆525Updated 3 years ago
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆288Updated 11 months ago
• rspeele / Rezoom
  Implements a resumption monad for .NET targeting data access with automatic batching and caching.
  ☆109Updated 5 years ago
• KeenS / webml
  A Standard ML Compiler for the Web
  ☆385Updated 2 years ago
• oxidecomputer / cobalt
  A collection of common Bluespec interfaces/modules.
  ☆96Updated 10 months ago
• bmitc / nand2tetris
  Original course HDL solutions, F# implementations for the software stack, and VHDL implementations for the hardware stack for the nand2te…
  ☆53Updated last year