Overview
8 featuresPFCL is a Frameworks & SDKs project. It focuses on building reliable software compositions without package managers, mutable effects, or ambiguous function identity. PFCL is an open-source project aimed at functional programmers and software developers. The project is open source (Open Source). It ships for the web and the command line, and it can be self-hosted.
Key capabilities include pure functions, totality checking, and termination witnesses.
Summary written by a language model from the project’s public pages.
- ✓Pure functions
- ✓Totality checking
- ✓Termination witnesses
- ✓Content-addressed identity
- ✓YAML catalog
- ✓Typed function bodies
- ✓Composition-based programs
- ✓Data-based effects
Tagsfunctional-languagecontent-addressed-codetyped-compositiontermination-checkingyaml-catalog
Built with & integrations
Runs onBrowserCLISelf-hosted
Trust & compliance
Verified signals✓HTTPS✓Open Source✓Free tier
Indexing history
1What PulseGate has recorded for this listing
Indexed27 Aug · 05:42 UTC
Listing verified against its public source
Frequently asked questions about PFCL
- What does PFCL do?
- PFCL focuses on building reliable software compositions without package managers, mutable effects, or ambiguous function identity. It is catalogued under Frameworks & SDKs on PulseGate.
- Who should use PFCL?
- PFCL is an open-source project built for functional programmers and software developers.
- Is PFCL free?
- Yes — PFCL is open source under the Open Source license and free to use.
- What platforms does PFCL run on?
- PFCL runs on the web and the command line. It can also be self-hosted.
- Is PFCL still maintained?
- Unverified. PFCL has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
- What projects are similar to PFCL?
- Similar projects tracked by PulseGate include jupydeep, demystify-voice, and Pyxle.jupydeepdemystify-voicePyxle
- Is PFCL open source?
- Yes — PFCL is open source under the Open Source license.