F# RISC-V Instruction Set formal specification
- fsharp
- risc-v
- cpu
- isa
47,133 repositories indexed
25–48 of 61 · Most stars
F# RISC-V Instruction Set formal specification
F# generative Type Provider for Swagger
SqlHydra is a suite of NuGet packages for working with databases in F# including code generation tools and query expressions.
High performance System.Threading.(Value)Task computation expressions for F#
F# computation expression builder for System.Threading.Tasks
Execute CLI commands from your F# code in F# style!
.NET Cross platform and highly composable middleware for building web request handlers in F#
A set of F# Type Providers for statically typed access to MS SQL database
A lightweight, generic F# database abstraction.
Advanced F# Support for LiteDB, an embedded NoSql database for .NET with type-safe query expression through F# quotations
An extended core library for F#.
FsConfig is a F# library for reading configuration data from environment variables and AppSettings with type safety.
Markdown blog with GitHub Pages
An extensible F# validation library.
A dotnet CLI to generate type-safe GraphQL clients for F# and Fable with automatic deserialization, static query verification and type checking
Facil generates F# data access source code from SQL queries and stored procedures. Optimized for developer happiness.
This library is for the .NET platform implementing a Excel type provider.
Fable Reaction - Reactive (AsyncRx) for F# Elmish and Fable
Next generation of ClojureCLR under development.
SIMD enhanced Array operations
F# type providers to support statically typed access to input parameters and result set of sql statement in idiomatic F# way. Data modifications via statically typed tables.
The FSharp.Configuration project contains type providers for the configuration of .NET projects.
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
An F# Azure Type Provider which can be used to explore Blob, Table and Queue Azure Storage assets and easily apply CRUD operations on them.