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
• jack-pappas / fsharp-logic-examples
  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
  ☆178Updated 8 years ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆260Updated 11 months ago
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆458Updated this week
• 7sharp9 / write-you-an-inference-in-fsharp
  Different type inference algorithms implemented in F#
  ☆163Updated 4 years ago
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆104Updated 7 months ago
• Lombiq / Hastlayer-SDK
  Turning .NET software into FPGA hardware for faster execution and lower power usage.
  ☆312Updated 4 months ago
• fsprojects-archive / zzarchive-llvm-fs
  LLVM bindings for F#
  ☆95Updated 9 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
• tgjones / mini-c
  F# implementation of a Mini-C compiler targeting MSIL
  ☆82Updated 11 years ago
• dsyme / dsyme-presentations
  Don Syme presentations and notes
  ☆242Updated last week
• tpetricek / elmish-spreadsheet
  Implement your own Excel 365 in 100 lines of F#!
  ☆179Updated 4 years ago
• fsprojects / fsharp-ai-tools
  TensorFlow API for F# + F# for AI Models eDSL
  ☆214Updated 3 years ago
• aardvark-platform / aardvark.docs
  Simple examples combining multiple packages provided by the aardvark platform. Each platform repository comes with separate examples -- h…
  ☆108Updated last year
• fsprojects / FsLexYacc
  Lexer and parser generators for F#
  ☆219Updated 6 months ago
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆203Updated 3 years ago
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆215Updated 4 months ago
• stephan-tolksdorf / fparsec
  A parser combinator library for F#
  ☆553Updated last year
• microsoft / Armada
  Armada is a tool for writing, and proving correct, high-performance concurrent programs.
  ☆146Updated 4 months ago
• calebh / Juniper
  ☆102Updated 8 months ago
• RussBaz / WebFrame
  F# framework for rapid prototyping with ASP.NET Core.
  ☆104Updated 3 years ago
• jack-pappas / fsharp-tapl
  Accompanying code for "Types and Programming Languages", ported to F#
  ☆54Updated 11 years ago
• project-everest / everparse
  Automated generation of provably secure, zero-copy parsers from format specifications
  ☆279Updated this week
• hodzanassredin / FsForth
  Implementation of forth programming language in fsharp for learning purposes.
  ☆21Updated 6 years ago
• ChrisPritchard / FSH
  F# Shell with integrated F# scripting. Like Bash or Powershell, but better 'cause F#.
  ☆261Updated 2 years 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
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆191Updated 2 years ago
• pragmatrix / ScanRat
  ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization
  ☆60Updated 4 years ago
• afonsonf / tlaplus-graph-explorer
  A static web application to explore and animate a TLA+ state graph.
  ☆198Updated last year