Search Results for "aria2-static-builds"

mypy is a static type checker for Python that analyzes source code without executing it, catching type errors early in development. It implements PEP 484-style type hints and supports gradual typing, allowing untyped or partially typed modules to coexist with statically typed code. The tool integrates with common editors and CI systems, and offers a daemon mode for fast, incremental checks across large codebases.

KeyParaStocX (Keyword-based Paragraph Styling and Table of Contents eXtension) is a LibreOffice/Apache OpenOffice/OpenOffice.org extension that searches for the configured keywords in a text, changes their style and builds a Table of Contents for them, up to 7 levels. The keywords and their target styles can be configured by the users and used for every document they open. The extension integrates into Writer options and is independent of the operating system (should work on all). See the project homepage https://keyparastocx.sourceforge.io and the project Wiki in the menu above.

...Key features: - Batch conversions across all file types - 100% offline - Multi-engine fallback (FFmpeg, LibreOffice, Pandoc, and more) - Statistics dashboard with conversion history - Achievements & rank progression system - Right-click context menu integration in File Explorer - Save and reopen conversion setups as project files (.fcproj) - Multi-language support (French & English built-in) - Portable and installer builds available - Free and open source (GPLv3)

Handout is a lightweight library for embedding rich, interactive components such as exercises, charts, and interactive diagrams directly into static documents like Markdown, Jupyter notebooks, or static HTML pages, enabling authors to create more engaging technical handouts, tutorials, and interactive essays. It’s particularly aimed at educators, presenters, and researchers who want to make their written material come alive with runnable demonstrations and interactive problem sets without bundling a full web framework. ...

Souper is a superoptimizer for LLVM IR designed to automatically discover missed optimization opportunities within LLVM’s mid-end optimizers. By leveraging SMT (Satisfiability Modulo Theories) solvers, Souper symbolically analyzes LLVM Intermediate Representation (IR) to synthesize equivalent, more efficient expressions. It identifies peephole optimizations—small instruction-level improvements—that LLVM’s optimizer may overlook, thereby improving compiled code quality. Souper can operate in...