Alternatives and similar repositories for riscv-fs

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

• d-edge / fasmi
  F# -> ASM disassembler
  ☆189Updated last year
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆445Updated this week
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆259Updated 9 months ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated last month
• jack-pappas / fsharp-logic-examples
  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
  ☆177Updated 8 years ago
• mit-plv / riscv-semantics
  A formal semantics of the RISC-V ISA in Haskell
  ☆163Updated last year
• project-everest / vale
  Verified Assembly Language for Everest
  ☆290Updated last year
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆202Updated 3 years ago
• 7sharp9 / write-you-an-inference-in-fsharp
  Different type inference algorithms implemented in F#
  ☆163Updated 4 years ago
• rems-project / sail
  Sail architecture definition language
  ☆727Updated last week
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆305Updated last year
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆103Updated 4 months ago
• tpetricek / elmish-spreadsheet
  Implement your own Excel 365 in 100 lines of F#!
  ☆179Updated 4 years ago
• riscvarchive / ISA_Formal_Spec_Public_Review
  Locus site for Public Review of Several RISC-V ISA Formal Specs
  ☆73Updated 4 years ago
• KeenS / webml
  A Standard ML Compiler for the Web
  ☆385Updated 2 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• tpetricek / tiny-systems
  Source code with tasks from my "Write your own tiny programming system(s)!" course at Charles University. Follow the link below to watch…
  ☆42Updated last year
• rsnikhil / Forvis_RISCV-ISA-Spec
  Formal specification of RISC-V Instruction Set
  ☆100Updated 4 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆463Updated last week
• riscv / riscv-j-extension
  Working Draft of the RISC-V J Extension Specification
  ☆185Updated this week
• rossberg / 1ml
  1ML prototype interpreter
  ☆282Updated 4 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆199Updated last year
• fsprojects / fsharp-ai-tools
  TensorFlow API for F# + F# for AI Models eDSL
  ☆214Updated 3 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆268Updated this week
• tommythorn / Reduceron
  FPGA Haskell machine with game changing performance. Reduceron is Matthew Naylor, Colin Runciman and Jason Reich's high performance FPGA …
  ☆433Updated 2 weeks ago
• PLSysSec / FaCT
  Flexible and Constant Time Programming Language
  ☆199Updated 3 years ago
• fsprojects / Rezoom.SQL
  Statically typechecks a common SQL dialect and translates it to various RDBMS backends
  ☆676Updated 4 years ago
• hodzanassredin / FsForth
  Implementation of forth programming language in fsharp for learning purposes.
  ☆21Updated 5 years ago