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
• tpetricek / teaching
  Materials for my lectures including programming langauge design, software engineering and human-computer interaction.
  ☆104Updated 7 months ago
• fsprojects-archive / zzarchive-llvm-fs
  LLVM bindings for F#
  ☆94Updated 9 years ago
• jack-pappas / fsharp-logic-examples
  Examples from John Harrison's "Handbook of Practical Logic and Automated Reasoning", ported to F#.
  ☆178Updated 8 years ago
• 7sharp9 / write-you-an-inference-in-fsharp
  Different type inference algorithms implemented in F#
  ☆163Updated 4 years ago
• standardsemiconductor / lion
  Where Lions Roam: RISC-V on the VELDT
  ☆260Updated last year
• FStarLang / karamel
  KaRaMeL is a tool for extracting low-level F* programs to readable C code
  ☆474Updated this week
• Lombiq / Hastlayer-SDK
  Turning .NET software into FPGA hardware for faster execution and lower power usage.
  ☆312Updated 5 months 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
• fsprojects / fsharp-ai-tools
  TensorFlow API for F# + F# for AI Models eDSL
  ☆213Updated 3 years ago
• fsprojects / FsLexYacc
  Lexer and parser generators for F#
  ☆221Updated 6 months ago
• aardvark-platform / aardvark.docs
  Simple examples combining multiple packages provided by the aardvark platform. Each platform repository comes with separate examples -- h…
  ☆107Updated last year
• jackfoxy / DependentTypes
  experiments with @robkuz LimitedValue type
  ☆71Updated 5 years ago
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆219Updated 4 months ago
• tomcl / issie
  Issie - an intuitive cross-platform hardware design application. https://tomcl.github.io/issie
  ☆80Updated this week
• SomewhatML / sml-compiler
  A compiler for Standard ML, somewhat
  ☆203Updated 3 years ago
• hodzanassredin / FsForth
  Implementation of forth programming language in fsharp for learning purposes.
  ☆21Updated 6 years ago
• rossberg / 1ml
  1ML prototype interpreter
  ☆286Updated 5 years ago
• tpetricek / elmish-spreadsheet
  Implement your own Excel 365 in 100 lines of F#!
  ☆179Updated 4 years ago
• dsyme / dsyme-presentations
  Don Syme presentations and notes
  ☆243Updated last month
• cboudereau / category-theory-for-dotnet-programmers
  This repo contains all c++ / haskell samples from Bartosz Milewski's book (Category Theory for Programmers) converted to csharp and fshar…
  ☆207Updated 3 years ago
• project-everest / vale
  Verified Assembly Language for Everest
  ☆294Updated last year
• allisterb / Sylvester
  A language for scientific computing that focuses on safety, expressiveness, and interoperability
  ☆57Updated 4 months ago
• calebh / Juniper
  ☆101Updated 8 months ago
• RussBaz / WebFrame
  F# framework for rapid prototyping with ASP.NET Core.
  ☆104Updated 3 years ago
• pragmatrix / ScanRat
  ScanRat - PEG Parser Combinators for F# with support for Left Recursion and Memoization
  ☆60Updated 4 years ago
• athas / raytracers
  Performance comparison of parallel ray tracing in functional programming languages
  ☆307Updated 2 years ago
• tgjones / mini-c
  F# implementation of a Mini-C compiler targeting MSIL
  ☆81Updated 11 years ago
• algebraic-graphs / fsharp
  Port of the alga Algebraic Graphs library (https://github.com/snowleopard/alga) to F#
  ☆29Updated 6 years ago
• fsprojects / SIMDArray
  SIMD enhanced Array operations
  ☆135Updated 3 years ago