Tools
hazel
hazelgrove/hazel
A live functional programming environment rooted in type theory that lets you edit, run, and explore programs with typed holes.
Topics
Related projects
SATySFi1.2kA typesetting system with a statically typed, functional programming language. Authors write documents in LaTeX-like markup and define their own commands, then compile them directly to PDF.
milewski-ctfp-pdf11.7kAn unofficial PDF and LaTeX source edition of Bartosz Milewski's Category Theory for Programmers, available for reading or rebuilding into book formats.
dark2.2kA combined programming language, editor and infrastructure for building backends and CLIs more easily.
OpenCut97.5kA free, open-source CapCut alternative: a video editor for web, desktop, and mobile, currently being rewritten with a new plugin-first architecture.
AFFiNE74.4kAn open-source, local-first workspace combining docs, whiteboards and databases as a Notion and Miro alternative.
marktext63.8kA simple, elegant open-source Markdown editor with live preview, themes, math support, and HTML/PDF export on Linux, macOS, and Windows.