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