Open Source Credits

Last updated: October 14, 2026

FlowProofs is built on open-source software, and we are grateful to everyone who maintains it. These are the packages the app runs on, with their licenses. The full license and notice texts are in licenses.txt.

Licenses at a glance

License	Packages
MIT	416
ISC	27
Apache-2.0	14
BSD-2-Clause	6
BlueOak-1.0.0	5
BSD-3-Clause	4
OFL-1.1	2
LGPL-3.0-or-later	2
0BSD	2
CC-BY-4.0	1
(MPL-2.0 OR Apache-2.0)	1
BSD	1
Unlicense	1
(MIT OR GPL-3.0-or-later)	1
MPL-2.0	1
(MIT AND Zlib)	1
MIT-0	1
(Apache-2.0 AND MIT)	1
FSL-1.1-Apache-2.0	1
(MIT OR CC0-1.0)	1
MIT AND ISC	1

Packages we use directly

Package	Version	License
@anthropic-ai/sdk	0.120.0	MIT
@fontsource/caveat	5.3.0	OFL-1.1
@fontsource/inter	5.3.0	OFL-1.1
@next/third-parties	16.3.8	MIT
@radix-ui/react-avatar	1.2.6	MIT
@radix-ui/react-dialog	1.1.23	MIT
@radix-ui/react-dropdown-menu	2.1.24	MIT
@radix-ui/react-separator	1.1.15	MIT
@radix-ui/react-slot	1.3.3	MIT
@radix-ui/react-tooltip	1.2.16	MIT
@sentry/nextjs	11.7.0	MIT
@supabase/ssr	0.12.4	MIT
@supabase/supabase-js	2.112.3	MIT
@tiptap/core	3.31.4	MIT
@tiptap/extension-highlight	3.31.4	MIT
@tiptap/extension-placeholder	3.31.4	MIT
@tiptap/extension-text-align	3.31.4	MIT
@tiptap/pm	3.31.4	MIT
@tiptap/react	3.31.4	MIT
@tiptap/starter-kit	3.31.4	MIT
@xyflow/react	12.11.3	MIT
adm-zip	0.6.1	MIT
class-variance-authority	0.7.1	Apache-2.0
clsx	2.1.1	MIT
framer-motion	13.1.1	MIT
gray-matter	4.0.3	MIT
html-to-image	1.11.13	MIT
immer	11.1.18	MIT
lucide-react	1.33.0	ISC
mammoth	1.13.0	BSD-2-Clause
mathjs	15.2.0	Apache-2.0
next	16.3.8	MIT
next-mdx-remote	6.0.0	MPL-2.0
papaparse	5.7.0	MIT
pdf-parse	2.4.5	Apache-2.0
pg	8.23.0	MIT
posthog-js	1.438.9	(Apache-2.0 AND MIT)
posthog-node	5.21.2	MIT
react	19.2.8	MIT
react-day-picker	9.14.0	MIT
react-dom	19.2.8	MIT
react-rnd	10.5.3	MIT
recharts	3.10.1	MIT
remark-gfm	4.0.1	MIT
resend	6.32.1	MIT
roughjs	4.6.6	MIT
server-only	0.0.1	MIT
sonner	2.0.8	MIT
tailwind-merge	3.6.0	MIT
uuid	14.0.2	MIT
xlsx	0.20.3	Apache-2.0
zod	4.6.6	MIT
zustand	5.0.15	MIT

Everything they depend on

490 packages in total, including the ones above.

Package	Version	License
@babel/code-frame	7.29.7	MIT
@babel/helper-validator-identifier	7.29.7	MIT
@babel/runtime	7.29.7	MIT
@date-fns/tz	1.5.0	MIT
@floating-ui/core	1.8.0	MIT
@floating-ui/dom	1.8.0	MIT
@floating-ui/react-dom	2.1.9	MIT
@floating-ui/utils	0.2.12	MIT
@img/colour	1.1.0	MIT
@img/sharp-libvips-linux-x64	1.3.4	LGPL-3.0-or-later
@img/sharp-libvips-linuxmusl-x64	1.3.4	LGPL-3.0-or-later
@img/sharp-linux-x64	0.35.5	Apache-2.0
@img/sharp-linuxmusl-x64	0.35.5	Apache-2.0
@jridgewell/sourcemap-codec	1.5.5	MIT
@mdx-js/mdx	3.1.1	MIT
@mdx-js/react	3.1.1	MIT
@napi-rs/canvas	0.1.80	MIT
@napi-rs/canvas-linux-x64-gnu	0.1.80	MIT
@napi-rs/canvas-linux-x64-musl	0.1.80	MIT
@napi-rs/lzma-linux-x64-gnu	1.5.1	MIT
@next/env	16.3.8	MIT
@next/swc-linux-x64-gnu	16.3.8	MIT
@next/swc-linux-x64-musl	16.3.8	MIT
@opentelemetry/api	1.9.1	Apache-2.0
@oxc-parser/binding-linux-x64-gnu	0.152.0	MIT
@oxc-parser/binding-linux-x64-musl	0.152.0	MIT
@oxc-project/types	0.152.0	MIT
@posthog/browser-common	0.9.4	MIT
@posthog/core	1.10.0	MIT
@posthog/core	1.58.1	MIT
@posthog/types	1.415.3	MIT
@radix-ui/primitive	1.1.7	MIT
@radix-ui/react-arrow	1.1.15	MIT
@radix-ui/react-collection	1.1.15	MIT
@radix-ui/react-compose-refs	1.1.5	MIT
@radix-ui/react-context	1.2.2	MIT
@radix-ui/react-direction	1.1.4	MIT
@radix-ui/react-dismissable-layer	1.1.19	MIT
@radix-ui/react-focus-guards	1.1.6	MIT
@radix-ui/react-focus-scope	1.1.16	MIT
@radix-ui/react-id	1.1.4	MIT
@radix-ui/react-menu	2.1.24	MIT
@radix-ui/react-popper	1.3.7	MIT
@radix-ui/react-portal	1.1.17	MIT
@radix-ui/react-presence	1.1.10	MIT
@radix-ui/react-primitive	2.1.10	MIT
@radix-ui/react-roving-focus	1.1.19	MIT
@radix-ui/react-use-callback-ref	1.1.4	MIT
@radix-ui/react-use-controllable-state	1.2.6	MIT
@radix-ui/react-use-effect-event	0.0.5	MIT
@radix-ui/react-use-is-hydrated	0.1.3	MIT
@radix-ui/react-use-layout-effect	1.1.4	MIT
@radix-ui/react-use-rect	1.1.4	MIT
@radix-ui/react-use-size	1.1.4	MIT
@radix-ui/react-visually-hidden	1.2.11	MIT
@radix-ui/rect	1.1.3	MIT
@reduxjs/toolkit	2.12.0	MIT
@rollup/plugin-commonjs	28.0.1	MIT
@rollup/pluginutils	5.4.0	MIT
@rollup/rollup-linux-x64-gnu	4.64.6	MIT
@rollup/rollup-linux-x64-musl	4.64.6	MIT
@sentry/browser	11.7.0	MIT
@sentry/browser-utils	11.7.0	MIT
@sentry/bundler-plugins	11.7.0	MIT
@sentry/cloudflare	11.7.0	MIT
@sentry/conventions	0.27.0	MIT
@sentry/core	11.7.0	MIT
@sentry/feedback	11.7.0	MIT
@sentry/node	11.7.0	MIT
@sentry/opentelemetry	11.7.0	MIT
@sentry/react	11.7.0	MIT
@sentry/replay	11.7.0	MIT
@sentry/replay-canvas	11.7.0	MIT
@sentry/server-runtime-injection	11.7.0	MIT
@sentry/server-utils	11.7.0	MIT
@sentry/vercel-edge	11.7.0	MIT
@stablelib/base64	1.0.1	MIT
@standard-schema/spec	1.1.0	MIT
@standard-schema/utils	0.3.0	MIT
@supabase/auth-js	2.112.3	MIT
@supabase/functions-js	2.112.3	MIT
@supabase/phoenix	0.4.5	MIT
@supabase/postgrest-js	2.112.3	MIT
@supabase/realtime-js	2.112.3	MIT
@supabase/storage-js	2.112.3	MIT
@swc/helpers	0.5.23	Apache-2.0
@tabby_ai/hijri-converter	1.0.5	MIT
@tiptap/extension-blockquote	3.31.4	MIT
@tiptap/extension-bold	3.31.4	MIT
@tiptap/extension-bubble-menu	3.31.4	MIT
@tiptap/extension-bullet-list	3.31.4	MIT
@tiptap/extension-code	3.31.4	MIT
@tiptap/extension-code-block	3.31.4	MIT
@tiptap/extension-document	3.31.4	MIT
@tiptap/extension-dropcursor	3.31.4	MIT
@tiptap/extension-floating-menu	3.31.4	MIT
@tiptap/extension-gapcursor	3.31.4	MIT
@tiptap/extension-hard-break	3.31.4	MIT
@tiptap/extension-heading	3.31.4	MIT
@tiptap/extension-horizontal-rule	3.31.4	MIT
@tiptap/extension-italic	3.31.4	MIT
@tiptap/extension-link	3.31.4	MIT
@tiptap/extension-list	3.31.4	MIT
@tiptap/extension-list-item	3.31.4	MIT
@tiptap/extension-list-keymap	3.31.4	MIT
@tiptap/extension-ordered-list	3.31.4	MIT
@tiptap/extension-paragraph	3.31.4	MIT
@tiptap/extension-strike	3.31.4	MIT
@tiptap/extension-text	3.31.4	MIT
@tiptap/extension-underline	3.31.4	MIT
@tiptap/extensions	3.31.4	MIT
@types/d3-array	3.2.2	MIT
@types/d3-color	3.1.3	MIT
@types/d3-drag	3.0.7	MIT
@types/d3-ease	3.0.2	MIT
@types/d3-interpolate	3.0.4	MIT
@types/d3-path	3.1.1	MIT
@types/d3-scale	4.0.9	MIT
@types/d3-selection	3.0.11	MIT
@types/d3-shape	3.1.8	MIT
@types/d3-time	3.0.4	MIT
@types/d3-timer	3.0.2	MIT
@types/d3-transition	3.0.9	MIT
@types/d3-zoom	3.0.8	MIT
@types/debug	4.1.13	MIT
@types/estree	1.0.9	MIT
@types/estree-jsx	1.0.5	MIT
@types/hast	3.0.5	MIT
@types/mdast	4.0.4	MIT
@types/mdx	2.0.14	MIT
@types/ms	2.1.0	MIT
@types/trusted-types	2.0.7	MIT
@types/unist	2.0.11	MIT
@types/unist	3.0.3	MIT
@types/use-sync-external-store	0.0.6	MIT
@ungap/structured-clone	1.4.0	ISC
@xmldom/xmldom	0.8.15	MIT
@xyflow/system	0.0.80	MIT
acorn	8.18.0	MIT
acorn-jsx	5.3.2	MIT
argparse	1.0.10	MIT
aria-hidden	1.2.6	MIT
astring	1.9.0	MIT
bail	2.0.2	MIT
balanced-match	4.0.4	MIT
base64-js	1.5.1	MIT
baseline-browser-mapping	2.11.16	Apache-2.0
brace-expansion	5.0.12	MIT
caniuse-lite	1.0.30001809	CC-BY-4.0
ccount	2.0.1	MIT
character-entities	2.0.2	MIT
character-entities-html4	2.1.0	MIT
character-entities-legacy	3.0.0	MIT
character-reference-invalid	2.0.1	MIT
classcat	5.0.5	MIT
client-only	0.0.1	MIT
collapse-white-space	2.1.0	MIT
comma-separated-tokens	2.0.3	MIT
commondir	1.0.1	MIT
complex.js	2.4.3	MIT
cookie	1.1.1	MIT
core-js	3.50.0	MIT
core-util-is	1.0.3	MIT
cross-spawn	7.0.6	MIT
d3-array	3.2.4	ISC
d3-color	3.1.0	ISC
d3-dispatch	3.0.1	ISC
d3-drag	3.0.0	ISC
d3-ease	3.0.1	BSD-3-Clause
d3-format	3.1.2	ISC
d3-interpolate	3.0.1	ISC
d3-path	3.1.0	ISC
d3-scale	4.0.2	ISC
d3-selection	3.0.0	ISC
d3-shape	3.2.0	ISC
d3-time	3.1.0	ISC
d3-time-format	4.1.0	ISC
d3-timer	3.0.1	ISC
d3-transition	3.0.1	ISC
d3-zoom	3.0.0	ISC
date-fns	4.4.0	MIT
date-fns-jalali	4.1.0-0	MIT
debug	4.4.3	MIT
decimal.js	10.6.0	MIT
decimal.js-light	2.5.1	MIT
decode-named-character-reference	1.3.0	MIT
dequal	2.0.3	MIT
detect-libc	2.1.2	Apache-2.0
detect-node-es	1.1.0	MIT
devlop	1.1.0	MIT
dingbat-to-unicode	1.0.1	BSD-2-Clause
dompurify	3.4.17	(MPL-2.0 OR Apache-2.0)
dotenv	17.4.2	BSD-2-Clause
duck	0.1.12	BSD
es-toolkit	1.51.0	MIT
esast-util-from-estree	2.0.0	MIT
esast-util-from-js	2.0.1	MIT
escape-latex	1.2.0	MIT
escape-string-regexp	5.0.0	MIT
esprima	4.0.1	BSD-2-Clause
estree-util-attach-comments	3.0.0	MIT
estree-util-build-jsx	3.0.1	MIT
estree-util-is-identifier-name	3.0.0	MIT
estree-util-scope	1.0.1	MIT
estree-util-to-js	2.0.0	MIT
estree-util-visit	2.0.0	MIT
estree-walker	2.0.2	MIT
estree-walker	3.0.3	MIT
eventemitter3	5.0.4	MIT
extend	3.0.2	MIT
extend-shallow	2.0.1	MIT
fast-equals	5.4.1	MIT
fast-sha256	1.3.0	Unlicense
fdir	6.5.0	MIT
fflate	0.4.9	MIT
fraction.js	5.3.4	MIT
get-nonce	1.0.1	MIT
glob	13.0.6	BlueOak-1.0.0
hachure-fill	0.5.2	MIT
has-flag	4.0.0	MIT
hast-util-to-estree	3.1.3	MIT
hast-util-to-jsx-runtime	2.3.6	MIT
hast-util-whitespace	3.0.0	MIT
iceberg-js	0.8.1	MIT
immediate	3.0.6	MIT
inherits	2.0.4	ISC
inline-style-parser	0.2.7	MIT
internmap	2.0.3	ISC
is-alphabetical	2.0.1	MIT
is-alphanumerical	2.0.1	MIT
is-decimal	2.0.1	MIT
is-extendable	0.1.1	MIT
is-hexadecimal	2.0.1	MIT
is-plain-obj	4.1.0	MIT
is-reference	1.2.1	MIT
isarray	1.0.0	MIT
isexe	2.0.0	ISC
javascript-natural-sort	0.7.1	MIT
js-tokens	4.0.0	MIT
js-yaml	3.15.2	MIT
json-schema-to-ts	3.1.1	MIT
jszip	3.10.2	(MIT OR GPL-3.0-or-later)
kind-of	6.0.3	MIT
lie	3.3.0	MIT
linkifyjs	4.3.3	MIT
longest-streak	3.1.0	MIT
loose-envify	1.4.0	MIT
lop	0.4.2	BSD-2-Clause
lru-cache	11.5.3	BlueOak-1.0.0
magic-string	0.30.21	MIT
markdown-extensions	2.0.0	MIT
markdown-table	3.0.4	MIT
mdast-util-find-and-replace	3.0.3	MIT
mdast-util-from-markdown	2.1.0	MIT
mdast-util-gfm	3.1.0	MIT
mdast-util-gfm-autolink-literal	2.0.1	MIT
mdast-util-gfm-footnote	2.1.0	MIT
mdast-util-gfm-strikethrough	2.0.1	MIT
mdast-util-gfm-table	2.0.0	MIT
mdast-util-gfm-task-list-item	2.0.0	MIT
mdast-util-mdx	3.0.0	MIT
mdast-util-mdx-expression	2.0.1	MIT
mdast-util-mdx-jsx	3.2.0	MIT
mdast-util-mdxjs-esm	2.0.1	MIT
mdast-util-phrasing	4.1.0	MIT
mdast-util-to-hast	13.2.1	MIT
mdast-util-to-markdown	2.2.0	MIT
mdast-util-to-string	4.0.0	MIT
micromark	4.0.3	MIT
micromark-core-commonmark	2.0.4	MIT
micromark-extension-gfm	3.0.0	MIT
micromark-extension-gfm-autolink-literal	2.1.0	MIT
micromark-extension-gfm-footnote	2.1.0	MIT
micromark-extension-gfm-strikethrough	2.1.0	MIT
micromark-extension-gfm-table	2.1.2	MIT
micromark-extension-gfm-tagfilter	2.0.0	MIT
micromark-extension-gfm-task-list-item	2.1.0	MIT
micromark-extension-mdx-expression	3.0.1	MIT
micromark-extension-mdx-jsx	3.0.2	MIT
micromark-extension-mdx-md	2.0.0	MIT
micromark-extension-mdxjs	3.0.0	MIT
micromark-extension-mdxjs-esm	3.0.0	MIT
micromark-factory-destination	2.0.1	MIT
micromark-factory-label	2.0.1	MIT
micromark-factory-mdx-expression	2.0.3	MIT
micromark-factory-space	2.1.0	MIT
micromark-factory-title	2.0.1	MIT
micromark-factory-whitespace	2.0.1	MIT
micromark-util-character	2.1.1	MIT
micromark-util-chunked	2.0.1	MIT
micromark-util-classify-character	2.0.1	MIT
micromark-util-combine-extensions	2.0.1	MIT
micromark-util-decode-numeric-character-reference	2.0.2	MIT
micromark-util-decode-string	2.0.1	MIT
micromark-util-edit-map	1.0.0	MIT
micromark-util-encode	2.0.1	MIT
micromark-util-events-to-acorn	2.0.3	MIT
micromark-util-html-tag-name	2.0.1	MIT
micromark-util-normalize-identifier	2.0.1	MIT
micromark-util-resolve-all	2.0.1	MIT
micromark-util-sanitize-uri	2.0.1	MIT
micromark-util-subtokenize	2.1.0	MIT
micromark-util-symbol	2.0.1	MIT
micromark-util-types	2.0.3	MIT
minimatch	10.2.6	BlueOak-1.0.0
minipass	7.1.3	BlueOak-1.0.0
motion-dom	13.1.1	MIT
motion-utils	13.0.0	MIT
ms	2.1.3	MIT
nanoid	3.3.18	MIT
object-assign	4.1.1	MIT
option	0.2.4	BSD-2-Clause
orderedmap	2.1.1	MIT
oxc-parser	0.152.0	MIT
pako	1.0.11	(MIT AND Zlib)
parse-entities	4.0.2	MIT
path-data-parser	0.1.0	MIT
path-key	3.1.1	MIT
path-scurry	2.0.2	BlueOak-1.0.0
pdfjs-dist	5.4.296	Apache-2.0
pg-cloudflare	1.4.0	MIT
pg-connection-string	2.14.0	MIT
pg-int8	1.0.1	ISC
pg-pool	3.14.0	MIT
pg-protocol	1.16.0	MIT
pg-types	2.2.0	MIT
pgpass	1.0.5	MIT
picocolors	1.1.1	ISC
picomatch	4.0.7	MIT
points-on-curve	0.2.0	MIT
points-on-path	0.2.1	MIT
postal-mime	2.7.6	MIT-0
postcss	8.5.23	MIT
postgres-array	2.0.0	MIT
postgres-bytea	1.0.1	MIT
postgres-date	1.0.7	MIT
postgres-interval	1.2.0	MIT
preact	10.29.8	MIT
process-nextick-args	2.0.1	MIT
prop-types	15.8.1	MIT
property-information	7.2.0	MIT
prosemirror-changeset	2.4.1	MIT
prosemirror-commands	1.7.2	MIT
prosemirror-dropcursor	1.8.3	MIT
prosemirror-gapcursor	1.4.1	MIT
prosemirror-history	1.5.0	MIT
prosemirror-inputrules	1.5.1	MIT
prosemirror-keymap	1.2.3	MIT
prosemirror-model	1.25.12	MIT
prosemirror-schema-list	1.5.1	MIT
prosemirror-state	1.4.4	MIT
prosemirror-tables	1.8.5	MIT
prosemirror-transform	1.12.0	MIT
prosemirror-view	1.42.6	MIT
query-selector-shadow-dom	1.0.1	MIT
re-resizable	6.11.2	MIT
react-draggable	4.7.1	MIT
react-is	16.13.1	MIT
react-redux	9.3.0	MIT
react-remove-scroll	2.7.2	MIT
react-remove-scroll-bar	2.3.8	MIT
react-style-singleton	2.2.3	MIT
readable-stream	2.3.8	MIT
recma-build-jsx	1.0.0	MIT
recma-jsx	1.0.1	MIT
recma-parse	1.0.0	MIT
recma-stringify	1.0.0	MIT
redux	5.0.1	MIT
redux-thunk	3.1.0	MIT
rehype-recma	1.0.0	MIT
remark-mdx	3.1.1	MIT
remark-parse	11.0.0	MIT
remark-rehype	11.1.2	MIT
remark-stringify	11.0.0	MIT
reselect	5.2.0	MIT
rollup	4.64.6	MIT
rope-sequence	1.3.4	MIT
safe-buffer	5.1.2	MIT
scheduler	0.27.0	MIT
section-matter	1.0.0	MIT
seedrandom	3.0.5	MIT
semver	7.8.5	ISC
sentry	0.45.0	FSL-1.1-Apache-2.0
setimmediate	1.0.5	MIT
sharp	0.35.5	Apache-2.0
shebang-command	2.0.0	MIT
shebang-regex	3.0.0	MIT
source-map	0.7.6	BSD-3-Clause
source-map-js	1.2.2	BSD-3-Clause
space-separated-tokens	2.0.2	MIT
split2	4.2.0	ISC
sprintf-js	1.0.3	BSD-3-Clause
stacktrace-parser	0.1.11	MIT
standardwebhooks	1.1.1	MIT
string_decoder	1.1.1	MIT
stringify-entities	4.0.4	MIT
strip-bom-string	1.0.0	MIT
style-to-js	1.1.21	MIT
style-to-object	1.0.14	MIT
styled-jsx	5.1.6	MIT
supports-color	8.1.1	MIT
third-party-capital	1.0.20	ISC
tiny-emitter	2.1.0	MIT
tiny-invariant	1.3.3	MIT
trim-lines	3.0.1	MIT
trough	2.2.0	MIT
ts-algebra	2.0.0	MIT
tslib	2.6.2	0BSD
tslib	2.8.1	0BSD
type-fest	0.7.1	(MIT OR CC0-1.0)
typed-function	4.2.2	MIT
underscore	1.13.8	MIT
unified	11.0.5	MIT
unist-util-is	6.0.1	MIT
unist-util-position	5.0.0	MIT
unist-util-position-from-estree	2.0.0	MIT
unist-util-remove	4.0.0	MIT
unist-util-stringify-position	4.0.0	MIT
unist-util-visit	5.1.0	MIT
unist-util-visit-parents	6.0.2	MIT
use-callback-ref	1.3.3	MIT
use-sidecar	1.1.3	MIT
use-sync-external-store	1.6.0	MIT
util-deprecate	1.0.2	MIT
vfile	6.0.3	MIT
vfile-matter	5.0.1	MIT
vfile-message	4.0.3	MIT
victory-vendor	37.3.6	MIT AND ISC
w3c-keyname	2.2.8	MIT
web-vitals	6.2.1	Apache-2.0
web-vitals	6.2.3	Apache-2.0
which	2.0.2	ISC
xmlbuilder	10.1.1	MIT
xtend	4.0.2	MIT
yaml	2.9.1	ISC
zustand	4.5.7	MIT
zwitch	2.0.4	MIT