Sign in

Repository Index

47,133 repositories indexed

Tags: All Tags
Tags

A repository shows when it has any selected Tag.

Filters

Filters

Clear all filters

481–504 of 632 · Most stars

JavaScript library for rendering IMSC Text and Image Profile documents to HTML5

  • ttml
  • polyfill
  • captions
  • ebu-tt-d

Generate ✏ PDF document 📑 with iTextSharp from a Blazor Server App

  • blazor
  • blazor-server
  • itextsharp
  • pdf

This is a small, opinionated Go library and CLI for Markdown to PDF. It handles cover pages, tables of contents, watermarks, signatures, and more. You can use CSS themes and custom assets. It works with parallel batch processing. The engine behind it is Chrome. It does not rely on LaTeX.

  • chrome-headless
  • cli
  • go
  • goldmark

PDF extraction that audits its own output — and certifies any other extractor's, catching pages they silently dropped. Verify signed manifests offline: free, MIT, no account. 0.903 on opendataloader-bench, #2 of 8 engines. 7-tool MCP server.

LaTeXing - Professional Typesetting - An extension for Sublime Text which makes your life easier and more comfortable while creating your documents.

Example README file demonstrating a suggested README file structure for software projects

Variations on Kirby & Paris' hydra battles and other entertaining math in Coq (collaborative, documented, includes exercises) [maintainer=@Casteran]

  • coq
  • hydra-battles
  • ordinal-notations
  • formal-proofs

AI-powered platform for OSINT intelligence analysis. Features archive discovery with hypothesis-driven investigation, GLiNER entity extraction, Mapbox geospatial visualization, network analysis, and document processing. Built with FastAPI, Next.js, Weaviate, and DSPy.

  • ai-agents
  • document-processing
  • dspy
  • entity-extraction

MERK is an open source, cross-platform, multiple-document interface GUI IRC client for Windows, Linux, and macOS written in Python, PyQt5, and Twisted.

  • python3
  • pyqt5
  • gplv3
  • irc-client

Documentation on goals of the Rocq-community organization, the shared contributing guide and code of conduct.

  • community-driven
  • manifesto
  • coq

Jamal is document maintenance automation

  • jamal-macro
  • macros-defined
  • macro-language
  • jamal-source

Lightweight Elixir wrapper for Pandoc. Convert Markdown, CommonMark, HTML, Latex... to HTML, HTML5, opendocument, rtf, texttile, asciidoc, markdown, json and others

Library add improve test log for RSpec and WebMock, validate its according to API Blueprint and Open API, show the documentation coverage with log.