Discover fsprojects/Z3Fs Open Source project

Stars
52
Rank 560,709 (Top 12 %)
Language
F#
License
MIT License
Created almost 12 years ago
Updated over 5 years ago

fsprojects

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Simple DSL to solve SMT problems using Z3 API in F#

Paket

A dependency manager for .NET with support for NuGet packages and Git repositories.

2,019

FAKE

FAKE - F# Make

1,279

awesome-fsharp

A curated list of awesome F# frameworks, libraries, software and resources.

1,194

Avalonia.FuncUI

Develop cross-plattform GUI Applications using F# and Avalonia!

952

FSharpPlus

Extensions for F#

845

FSharp.Data

F# Data: Library for Data Access

813

fantomas

FSharp source code formatter

772

FSharpx.Extras

Functional programming and other utilities from the original "fsharpx" project

683

Rezoom.SQL

Statically typechecks a common SQL dialect and translates it to various RDBMS backends

670

SQLProvider

A general F# SQL database erasing type provider, supporting LINQ queries, schema exploration, individuals, CRUD operations and much more besides.

578

ProjectScaffold

A prototypical .NET solution (file system layout and tooling), recommended for F# projects

517

FSharp.Formatting

F# tools for generating documentation (Markdown processor and F# code formatter)

464

Argu

A declarative CLI argument parser for F#

454

FsHttp

A lightweight F# HTTP library by @SchlenkR and @dawedawe

445

IfSharp

F# for Jupyter Notebooks

Jupyter Notebook

442

FsUnit

FsUnit makes unit-testing with F# more enjoyable. It adds a special syntax to your favorite .NET testing framework.

425

FSharp.Data.GraphQL

FSharp implementation of Facebook GraphQL query language.

399

fsharp-companies

Community curated list of companies that use F#

385

fsharp-cheatsheet

This cheatsheet aims to succinctly cover the most important aspects of F# 6.0.

328

zarchive-fsharpbinding

Archive of F# Language Bindings for Open Editors

FSharpLint

pulsar-client-dotnet

Apache Pulsar native client for .NET (C#/F#/VB)

301

FSharp.TypeProviders.SDK

The SDK for creating F# type providers

298

FSharp.Control.Reactive

Extensions and wrappers for using Reactive Extensions (Rx) with F#.

284

SwaggerProvider

F# generative Type Provider for Swagger

264

FsReveal

FsReveal parses markdown and F# script file and generates reveal.js slides.

258

FSharp.Data.Adaptive

On-demand adaptive/incremental data for F# https://fsprojects.github.io/FSharp.Data.Adaptive/

249

FSharpx.Collections

FSharpx.Collections is a collection of datastructures for use with F# and C#.

247

FSharp.Json

F# JSON Reflection based serialization library

226

fsharp-language-server

219

fsharp-ai-tools

TensorFlow API for F# + F# for AI Models eDSL

213

FsLexYacc

Lexer and parser generators for F#

207

FSharp.Data.SqlClient

A set of F# Type Providers for statically typed access to MS SQL database

205

Fleece

Json mapper for F#

199

ExcelFinancialFunctions

.NET Standard library providing the full set of financial functions from Excel.

194

Chessie

Railway-oriented programming for .NET

187

FsXaml

F# Tools for working with XAML Projects

172

FSharp.UMX

F# units of measure for primitive non-numeric types

162

FSharp.Control.AsyncSeq

Asynchronous sequences for F#

161

Paket.VisualStudio

Manage your Paket (http://fsprojects.github.io/Paket/) dependencies from Visual Studio!

147

ExcelProvider

This library is for the .NET platform implementing a Excel type provider.

141

TickSpec

Lean .NET BDD framework with powerful F# integration

134

SIMDArray

SIMD enhanced Array operations

132

FsBlog

Blog aware, static site generation using F#.

CSS

132

FSharp.Configuration

The FSharp.Configuration project contains type providers for the configuration of .NET projects.

114

FSharp.Interop.Dynamic

DLR interop for F# -- works like dynamic keyword in C#

FSharpx.Async

Asynchronous programming utilities for F#

FSharp.Control.TaskSeq

A computation expression and module for seamless working with IAsyncEnumerable<'T> as if it is just another sequence

FSharp.Management

The FSharp.Management project contains various type providers for the management of the machine.

AzureStorageTypeProvider

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.

Foq

A unit testing framework for F#

FSharp.Azure.Storage

F# API for using Microsoft Azure Table Storage service

FSharp.ViewModule

Library providing MVVM and INotifyPropertyChanged support for F# projects

FSharp.Text.RegexProvider

A type provider for regular expressions.

Incremental.NET

A library for incremental computations. Based on janestreet/incremental (https://github.com/janestreet/incremental) for OCaml.

FSharp.Core.Fluent

Fluent members for F# FSharp.Core functions

Mechanic

FSharp.Collections.ParallelSeq

Parallel (multi-core) sequence operations

FSharp.Quotations.Evaluator

A quotations evaluator/compiler for F# based on LINQ expression tree compilation

FSharp.Linq.ComposableQuery

Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"

OpenAPITypeProvider

F# type provider for Open API specification

fsharp-hashcollections

Library providing fast hash based immutable map and set

FSharp.AWS.DynamoDB

F# wrapper API for AWS DynamoDB

FSharp.Data.Toolbox

F# Data-based library for various data access APIs

DynamoDb.SQL

SQL-like external DSL for querying and scanning Amazon DynamoDB

FsRandom

A purely-functional random number generator framework designed for F#

FSharp.Data.JsonSchema

fantomas-for-vs

Visual Studio Formatter for F#

HTML

SyntacticVersioning

Helper tool to verify semantic version changes based on API surface area changes

FSharp.Compatibility

Compatibility libraries for F#

Interstellar

Cross-platform desktop apps in F# using web tech - https://www.nuget.org/packages/Interstellar.Core/

FSharp.Interop.PythonProvider

Early experimental F# type provider for python

FSharp.Compiler.PortaCode

The PortaCode F# code format and corresponding interpreter. Used by Fabulous and others.

FSharp.CloudAgent

Allows running F# Agents in a distributed manner using Azure Service Bus.

FSharp.Data.TypeProviders

F# Type Providers for SqlDataConnection, SqlEntityConnection, ODataService, WsdlService and EdmxFile using .NET Framework generators

Roslyn.FSharp

Roslyn read-only API to work with F# code (via bridge to FSharp.Compiler.Service)

FnuPlot

An F# wrapper for gnuplot charting library

GraphProvider

A state machine type provider

FSharp.Span.Utils

Makes Span/ReadOnlySpan easy to use from F#.

fantomas-tools

Collection of tools used when developing for Fantomas

fsharp-linting-for-vs

Visual Studio Linter for F#

LocSta

An F# library for composing state-aware functions by @SchlenkR

JavaScript

FSharp.Data.Xsd

XML Type Provider with schema support

zarchive-sublime-fsharp-package

F# development tools for SublimeText 3

Python

.github

The place to request for projects to be added or removed from the incubation space

zarchive-xamarin-monodevelop-fsharp-addin

(No longer Used) F# Editing Support In MonoDevelop and Xamarin Studio

Zander

Regular expression for matrix information. I.e. parse structured blocks of information from csv or excel files (or similar 2d matrixes)

FSharp.Compiler.CodeDom

An F# CodeDOM implementation (based on the old F# Power Pack)

BioProviders

F# library for accessing and manipulating bioinformatic datasets.

ReasoningEngine

Symbolic analysis of discrete dynamical systems

FSharp.Data.WsdlProvider

An implementation of the WsdlProvider compatible with netfx and netcore

FsMath3D

F# 3D Math Library for realtime applications

S3Provider

Experimental type provider for Amazon S3

FSharpPerf

A set of performance test scripts for the F# compiler.

MarkerClustering

A component to cluster map markers.

DynamicsCRMProvider

A type provider for Microsoft Dynamics CRM 2011.

Amazon.SimpleWorkflow.Extensions

Extensions to AmazonSDK's SimpleWorkflow capabilities to make it more intuitive to use

Canopy.Mobile

Canopy testing framework for mobile apps

LSON

Lisp inspired serialization (intended for when you don't even want to take a dependency on JSON serializer)

100

FSharp.Codecs.Redis

FSharp redis codecs based on Fleece patterns

fsprojects/Z3Fs

fsprojects

Reviews

Repository Details

More Repositories