fsprojects/.github
The place to request for projects to be added or removed from the incubation space
Public GitHub Catalog
Discovered Sep 26, 2026
fsprojects / Z3Fs
Simple DSL to solve SMT problems using Z3 API in F#
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#7243252GitHub System ID
fsprojectsOrganization / User
PublicVisibility
ActiveCatalog Status
More from fsprojects
fsprojects/FSharp.Quotations.Evaluator
A quotations evaluator/compiler for F# based on LINQ expression tree compilation
fsprojects/Paket
A dependency manager for .NET with support for NuGet packages and Git repositories.
fsprojects/FsReveal
FsReveal parses markdown and F# script file and generates reveal.js slides.