Extraction
Showing 8 of 8 projects
A macOS file archiver that compresses files in multiple formats with encryption for secure storage and sharing.
A library for audio and music analysis, detecting events like onsets, pitch, tempo, and beats in audio signals.
A C++ static library providing a clean, cross-platform interface to 7-Zip for archive compression and extraction.
A project formalizing the Rocq proof assistant in Rocq itself, providing tools for metaprogramming and developing certified plugins.
A .NET framework for extracting and exporting text and data from a wide variety of document formats.
A collection of robust and fast Python tools for parsing, extracting, and analyzing web archive data, including a high-performance WARC parser.
A library providing a purely functional IO monad for Coq, enabling direct implementation of IO programs with OCaml bindings.
A certified Sudoku solver implemented in Coq using a formalized Davis-Putnam procedure.
Related Tags
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.