Ecosyste.ms: Repos

An open API service providing repository metadata for many open source software ecosystems.

Package Usage: nuget: Expecto.FsCheck

Property testing for Expecto, powered by FsCheck
82 versions
Latest release: 11 months ago
11 dependent packages
553,157 downloads total

View more package details: https://packages.ecosyste.ms/registries/nuget.org/packages/Expecto.FsCheck

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/haf%2Fexpecto

Dependent Repos 114

ImperialCollegeLondon/Visual2
F# re-implementation of VisUAL educational ARM assembler and simulator.
  • 8.2.2 paket.lock

Size: 95.7 MB - Last synced: 26 days ago - Pushed: 7 months ago

djb15/arm-emulator-gui
GUI for an ARM emulator built in F#
  • 6.0 paket.lock

Size: 896 KB - Last synced: 26 days ago - Pushed: over 1 year ago

cwlroda/hlp21qs Fork of tomcl/hlp21qs
  • 9.0.2 Tick3q/paket.lock

Size: 3.43 MB - Last synced: 20 days ago - Pushed: 4 months ago

fsprojects/FAKE
FAKE - F# Make
  • 8.13.2 paket.lock

Size: 274 MB - Last synced: 3 months ago - Pushed: 4 months ago

RobertIndie/pulsar-client-dotnet Fork of fsprojects/pulsar-client-dotnet
Apache Pulsar native client for .NET (C#/F#/VB)
  • 9.0.4 paket.lock

Size: 1.84 MB - Last synced: 11 days ago - Pushed: 11 days ago

SAFE-Stack/SAFE-template
dotnet CLI template for SAFE project
  • 9.0.4 paket.lock

Size: 3.68 MB - Last synced: 14 days ago - Pushed: 28 days ago

apantelopoulos/Placement_ISSIE_Verilog
  • 9.0.4 paket.lock

Size: 83.9 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago

aardvark-platform/aardvark.base
Aardvark.Base is the foundation of the open-source Aardvark Platform for visual computing, real-time graphics, and visualization.
  • 9.0.4 paket.lock

Size: 48.2 MB - Last synced: 26 days ago - Pushed: about 1 month ago

SuaveIO/Suave.Locale
An internationalisation WebPart and library for Suave for use with React-Intl – https://github.com/yahoo/react-intl or other i18n systems
  • 5.0.1 paket.lock

Size: 65.4 KB - Last synced: about 1 year ago - Pushed: over 6 years ago

enovales/LudumLinguarum
Tool for creating language learning flash cards from games.
  • 9.0.2 paket.lock

Size: 1.01 MB - Last synced: 11 days ago - Pushed: about 1 year ago

aardvark-platform/aardvark.rendering
Aardvark.Rendering is a high-performance, dependency-aware rendering engine. It is part of the open-source Aardvark Platform for visual computing, real-time graphics, and visualization.
  • 9.0.4 paket.lock

Size: 159 MB - Last synced: 26 days ago - Pushed: about 2 months ago

smoothdeveloper/Midinette
  • 8.12 paket.lock

Size: 947 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

fsprojects/FSharpx.Collections
FSharpx.Collections is a collection of datastructures for use with F# and C#.
  • 8.13.1 paket.lock

Size: 19.4 MB - Last synced: 10 days ago - Pushed: 6 months ago

agrimmanchanda/NLP-Logic-Inference-Engine
A predicate logic based inference engine designed as part of High Level Programming module.
  • 8.13.1 BaseFiles/obj/project.assets.json

Size: 8.12 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

sergey-tihon/FSharpx.Collections Fork of fsprojects/FSharpx.Collections
FSharpx.Collections is a collection of datastructures for use with F# and C#.
  • 8.13.1 paket.lock

Size: 15 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

fsprojects/FsLexYacc
Lexer and parser generators for F#
  • 9.0.2 paket.lock

Size: 3.24 MB - Last synced: 8 days ago - Pushed: 15 days ago

YaccConstructor/Brahma.FSharp Fork of gsvgit/Brahma.FSharp
F# quotation to OpenCL translator and respective runtime to utilize GPGPUs in F# applications.
  • 9.0.4 paket.lock

Size: 52.1 MB - Last synced: 22 days ago - Pushed: 23 days ago

noresjo/fablepixi1
Just playing around with Pixijs and f# and fabel.io
  • 8.13.1 paket.lock

Size: 2.92 MB - Last synced: 9 months ago - Pushed: over 1 year ago

demirtasdev/FulmaDemos
  • 8.12 paket.lock

Size: 4.16 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

TheAngryByrd/FAKE Fork of fsprojects/FAKE
FAKE - F# Make
  • 9.0.4 paket.lock

Size: 156 MB - Last synced: 3 months ago - Pushed: 3 months ago

YaccConstructor/GraphBLAS-sharp
GPGPU-based GraphBLAS-like API implementation in F# (using Brahma.FSharp and OpenCL)
  • 8.13.1 paket.lock

Size: 16.5 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

rururu-orca/RandomSceneDrawing
Random Scene Drawing - randomly displays a scene in the video for Quick Sketching.
  • 9.0.4 paket.lock

Size: 454 KB - Last synced: 6 months ago - Pushed: 6 months ago

NicoVIII/MagicCollectionHelper
Application to use with exports from https://deckstats.net to get some insights into your collection.
  • 9.0.4 paket.lock

Size: 472 KB - Last synced: 5 months ago - Pushed: 5 months ago

fjoppe/Legivel
F# Yaml 1.2 parser
  • 8.12 paket.lock

Size: 6.54 MB - Last synced: 9 days ago - Pushed: 9 months ago

VisualMIPS/Common
For our data structure
  • 3.2.1 VisualMIPS/packages.config

Size: 16.2 MB - Last synced: about 1 year ago - Pushed: over 3 years ago

ichh1915/ARM
  • 5.1.2 ARM_Submission/ARM/obj/project.assets.json

Size: 5.18 MB - Last synced: 7 months ago - Pushed: over 5 years ago

OnurGumus/MyPlanner
  • 9.0.2 paket.lock

Size: 4.72 MB - Last synced: 12 months ago - Pushed: about 2 years ago

NicoVIII/Andromeda-for-GOG
This project should provide an inofficial third-party client for GOG especially for linux systems.
  • 9.0.4 paket.lock

Size: 4.04 MB - Last synced: 2 months ago - Pushed: 2 months ago

ionide/Waypoint
Opinionated solution template for building F# OSS libraries and tools.
  • 8.13.1 Content/paket.lock

Size: 2.93 MB - Last synced: about 15 hours ago - Pushed: over 3 years ago

davnavr/FSharpWrap
Utility that automatically generates F# modules and functions based on your F# project file's references
  • 9.0.2 paket.lock

Size: 757 KB - Last synced: about 1 year ago - Pushed: over 3 years ago

inosik/SimpleDiff
SimpleDiff is a diffing function.
  • 9.0.4 paket.lock

Size: 55.7 KB - Last synced: about 1 year ago - Pushed: about 2 years ago

rommsen/EventSourcing-DIY
Companion repository for my Event Sourcing - Do it yourself video series.
  • 8.10.1 paket.lock

Size: 2.6 MB - Last synced: about 2 months ago - Pushed: over 3 years ago

fsprojects/pulsar-client-dotnet
Apache Pulsar native client for .NET (C#/F#/VB)
  • 9.0.4 paket.lock

Size: 1.98 MB - Last synced: 1 day ago - Pushed: 10 days ago

OceanOak/dark Fork of darklang/dark
Client, backend, and services for Dark: https://darklang.com
  • 9.0.4 backend/paket.lock

Size: 45.3 MB - Last synced: 1 day ago - Pushed: 2 days ago

tforkmann/AzureTackle
Thin F# API for AzureTable for easy data access to azure tables with functional seasoning on top
  • 9.0.4 paket.lock

Size: 3.11 MB - Last synced: 12 days ago - Pushed: 3 months ago

informedica/Informedica.GenPres.Lib
General medical order prescription library
  • 9.0.4 paket.lock

Size: 4.06 MB - Last synced: 7 months ago - Pushed: about 1 year ago

jyc119/FinalYearProject
  • 9.0.2 paket.lock

Size: 69.4 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago

AndreiZaycev/Semester
hometask semester
  • 8.13.1 paket.lock

Size: 580 KB - Last synced: 12 months ago - Pushed: over 2 years ago

bryanbharper/philectrosophy
Personal Blog
  • 9.0.2 paket.lock

Size: 198 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

halcwb/GenSolver
A solver that solves any set of product and sum equations in which variables are discrete sets of rational numbers or number ranges.
  • 8.13.1 paket.lock

Size: 1020 KB - Last synced: 7 months ago - Pushed: about 4 years ago

vbfox/FoxSharp
Repository of small F# 🦊 utilities, mainly for using with FAKE
  • 9.0.2 paket.lock

Size: 434 KB - Last synced: 7 days ago - Pushed: about 3 years ago

ttak0422/ac-library-fs
更新頻度(低)
  • 9.0.2 paket.lock

Size: 45.9 KB - Last synced: about 1 year ago - Pushed: about 3 years ago

logibit/Logibit.Hawk
A F# Hawk implementation with a strongly typed API that guides your usage and minimises security programming errors.
  • 8.0 paket.lock

Size: 415 KB - Last synced: about 2 hours ago - Pushed: almost 6 years ago

Fabio752/Blue
  • 8.2.2 team/editor/paket.lock

Size: 90.9 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

jackfoxy/TypedSicm
F# implementation of Structure and Interpretation of Classical Mechanics
  • 8.13.1 paket.lock

Size: 2.73 MB - Last synced: about 1 month ago - Pushed: about 1 month ago

jackfoxy/EmguCvPlayground
EmguCv Playground
  • 8.10.1 paket.lock

Size: 37.2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

wk-j/learn-fsharp
  • 4.0.3 paket.lock

Size: 3.78 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago

darklang/dark
Darklang main repo, including language, backend, and infra
  • 9.0.4 backend/paket.lock

Size: 49 MB - Last synced: 26 days ago - Pushed: 28 days ago

DanpowerGruppe/Chia
Chia is a F# library which contains HelperFunctions for reporting, logging and Azure cloud operations.
  • 9.0.2 paket.lock

Size: 60.7 MB - Last synced: 11 days ago - Pushed: over 1 year ago

route4me/route4me-fsharp
  • 4.2.1 Route4MeSdk.FSharp.Tests/packages.config

Size: 66.4 KB - Last synced: about 2 months ago - Pushed: over 1 year ago

SuaveIO/suave
Suave is a simple web development F# library providing a lightweight web server and a set of combinators to manipulate route flow and task composition.
  • 9.0.2 paket.lock

Size: 22.7 MB - Last synced: about 2 months ago - Pushed: 3 months ago

informedica/Informedica.Utils.Lib
General utilities lib
  • 9.0.2 paket.lock

Size: 462 KB - Last synced: 11 days ago - Pushed: over 2 years ago

DanielBMarkham/msAppGroupTemplate
Microservices Application Group Template For Upcoming Book Info-Ops2
  • 8.4.2 IncomingCharges/IncomingCharges/paket.lock
  • 8.4.2 IncomingCharges/IncomingChargesTest/paket.lock
  • 8.4.2 IncomingCharges/IncomingChargeslib/paket.lock
  • 8.4.2 PerformTransaction/PerformTransaction/paket.lock
  • 8.4.2 PerformTransaction/PerformTransactionTest/paket.lock
  • 8.4.2 PerformTransaction/PerformTransactionlib/paket.lock
  • 8.4.2 UpdateAccounts/UpdateAccounts/paket.lock
  • 8.4.2 UpdateAccounts/UpdateAccountsTest/paket.lock
  • 8.4.2 UpdateAccounts/UpdateAccountslib/paket.lock
  • 8.4.2 ValidateAccount/ValidateAccount/paket.lock
  • 8.4.2 ValidateAccount/ValidateAccountTest/paket.lock
  • 8.4.2 ValidateAccount/ValidateAccountlib/paket.lock
  • 8.4.2 ValidateBalance/ValidateBalance/paket.lock
  • 8.4.2 ValidateBalance/ValidateBalanceTest/paket.lock
  • 8.4.2 ValidateBalance/ValidateBalancelib/paket.lock
  • 8.4.2 ValidateMerchant/ValidateMerchant/paket.lock
  • 8.4.2 ValidateMerchant/ValidateMerchantTest/paket.lock
  • 8.4.2 ValidateMerchant/ValidateMerchantlib/paket.lock
  • 8.4.2 apptemplate/app/paket.lock
  • 8.4.2 apptemplate/appTest/paket.lock
  • 8.4.2 apptemplate/applib/paket.lock

Size: 229 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

fsprojects/ProjectScaffold
A prototypical .NET solution (file system layout and tooling), recommended for F# projects
  • 8.10.1 paket.lock

Size: 1.92 MB - Last synced: 5 days ago - Pushed: 10 months ago

murocast/castos
Sonos Podcast Service (SMAPI)
  • 9.0.2 paket.lock

Size: 1.82 MB - Last synced: about 1 year ago - Pushed: about 1 year ago

eacasanovaspedre/Flux.Collections
Some functional collections and data structures
  • 9.0.2 paket.lock

Size: 223 KB - Last synced: 5 months ago - Pushed: 5 months ago

xepaul/CSharpSimpleFunctionCaching
  • 9.0.4 ProductImageFactory.Tests/ProductImageFactory.Tests.csproj

Size: 20.5 KB - Last synced: about 1 year ago - Pushed: over 1 year ago

DanielBMarkham/ea
EasyAM 2
  • 8.4.3 paket.lock
  • 8.4.2 system/structure/src/ea/paket.lock
  • 8.4.2 system/structure/src/eaTest/paket.lock
  • 8.4.2 system/structure/src/ealib/paket.lock
  • 8.4.2 system/structure/src/ear/paket.lock
  • 8.4.2 system/structure/src/earTest/paket.lock

Size: 17.4 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

aardvark-platform/aardvark.reconstruction
  • 8.13.1 paket.lock

Size: 6.55 MB - Last synced: 13 days ago - Pushed: 8 months ago

vnmsklnk/II-Semester-HW
Repository for programming practice in the 2nd semester
  • 9.0.4 paket.lock

Size: 2.98 MB - Last synced: about 1 year ago - Pushed: over 2 years ago

YelenaZvyagina/HometasksCourse1
Репрозиторий для домашних заданий по программированию
  • 8.13.1 paket.lock

Size: 388 KB - Last synced: about 1 year ago - Pushed: over 2 years ago

juselius/inf-3910-gogame-exam
INF-3910-5 exam 2020
  • 9.0.0 Tests/packages.lock.json

Size: 1.36 MB - Last synced: about 1 year ago - Pushed: about 2 years ago

Anastasia-Nikitina/homework
  • 8.13.1 paket.lock

Size: 717 KB - Last synced: about 1 year ago - Pushed: over 2 years ago

tomcl/hlp21-svg-elmish-demo
skeleton code for a simple 2d drag and drop drawing app using fable, electron and elmish.
  • 9.0.2 paket.lock

Size: 761 KB - Last synced: 26 days ago - Pushed: over 1 year ago

dlidstrom/PrimeNumberCalculator
  • 8.10.1 paket.lock

Size: 2.44 MB - Last synced: about 1 year ago - Pushed: about 4 years ago

vnmsklnk/I-Semester-HW
Repository for programming practice in the 1st semester
  • 8.13.1 paket.lock

Size: 299 KB - Last synced: about 1 year ago - Pushed: about 3 years ago

aardvark-community/aardvark.assembler
  • 9.0.4 paket.lock

Size: 179 KB - Last synced: 13 days ago - Pushed: about 1 year ago

causiq/logary
Logs and metrics are one! Professional logging, metrics and analytics for your apps.
  • 9.0.2 paket.lock

Size: 46.2 MB - Last synced: 26 days ago - Pushed: 12 months ago

a688/dailyprogrammer
  • 4.0.3 expectoTesting/packages.config

Size: 1.5 MB - Last synced: over 1 year ago

halcwb/GenPres2
Enable Safe and Efficient medication prescription, preparation and administration
  • 9.0.4 paket.lock

Size: 6.72 MB - Last synced: about 9 hours ago - Pushed: about 16 hours ago

juselius/inf-3910-webapp
Full stack RESTful webapp using F#, ASP.NET Core, Fable, Feliz and Entity Framework Core
  • 9.0 paket.lock

Size: 1.44 MB - Last synced: about 1 year ago - Pushed: about 2 years ago

AnthonyLloyd/AnthonyLloyd.github.io
My personal blog at http://anthonylloyd.github.io
  • 8.13.2 paket.lock

Size: 26.9 MB - Last synced: 8 days ago - Pushed: 3 months ago

jackfoxy/AardvarkSandBox
AardvarkSandBox
  • 8.12 paket.lock

Size: 7.02 MB - Last synced: about 1 year ago - Pushed: over 1 year ago

AntyaDev/Talks
Materials from recent talks
  • 4.0.3 2017/tdd_on_F#/paket.lock

Size: 406 KB - Last synced: about 1 year ago - Pushed: about 7 years ago

arthis/safeExample
safeExample
  • 8.9.1 paket.lock

Size: 2 MB - Last synced: about 1 year ago - Pushed: over 1 year ago