Academic Research
Showing 10 of 46 projects
A Coq framework for implementing, certifying, and executing impure computations with modular verification.
A Coq library formalizing graph theory results, including Menger's Theorem, Hall's Marriage Theorem, and Wagner's Theorem.
A framework and GUI wizard for extracting structured information from tables in scientific literature, particularly biomedical publications.
An incomplete collection of academic and research presentation slides by Scott Wen-tau Yih.
A system combining static and dynamic analysis to reveal hidden behavior in Android apps using dynamic code updates.
R code to build and plot 150 cosponsorship networks from legislative activity in 27 European parliamentary chambers.
A Crystal library for defining hierarchical models and constructing discrete event simulations based on PDEVS formalism.
An AI-powered web tool for automated full-text screening and data extraction from research papers to accelerate systematic reviews.
A formally verified implementation of the Constrained Application Protocol (CoAP) in SPARK/Ada, ensuring correctness for constrained IoT devices.
Python package providing one-line access to 38+ open research datasets from Latin America.
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.