Research Tool
Showing 36 of 74 projects
A research prototype tool for modular formal verification of C, Rust, and Java programs using separation logic.
A deep learning framework for detecting and localizing upper-body, lower-body, and full-body clothes in fashion images.
A PyTorch implementation of the DrQA model for reading comprehension and open-domain question answering.
A research-driven web crawler for building and analyzing curated web corpora as networks of web entities.
Python implementations of various topic modeling algorithms including LDA, collaborative topic models, and hierarchical Dirichlet processes.
A modular, high-performance framework for building custom software switches by composing packet processing modules.
A JAX library for second-order optimization of neural networks using the K-FAC curvature approximation algorithm.
An automatic formal verification tool that uses separation logic to verify memory safety of C programs.
A Kotlin library for extracting path-based code representations and ASTs from multiple languages to prepare code for machine learning models.
An open-source modeling tool for evaluating the performance of proton-exchange membrane fuel cells (PEMFC) using static and dynamic models.
A Scala and JVM machine learning toolbox for research, education, and industry with an interactive REPL and end-to-end pipelines.
A JAX-powered reimplementation of MiniGrid offering over 1000x speedup for reinforcement learning experiments.
An open-source Hierarchical Task Network (HTN) AI planner written in Common Lisp, supporting PDDL and HDDL.
A modular framework for simulating crowd movement and pedestrian behavior in virtual environments.
A Python toolbox using deep belief networks for topic modeling on document data, producing latent representations for content-based recommendation.
A researcher-friendly Ethereum implementation and blockchain toolbox written in Ruby for building custom chains.
A graphical syntax tree generator for linguistic research that creates publication-quality tree diagrams from bracket notation.
A type-aware kernel fuzzing framework for Windows that uses static binary analysis to infer system call types for more effective fuzzing.
A tool for automatically detecting and suggesting mitigation for object, attribute, and geography-based biases in visual datasets.
A tool for mining commits from Git repositories to automatically extract code change pattern instances and features using AST analysis.
A Python/Scapy implementation of the TOR protocol for educational and research purposes.
A Java implementation of multidimensional Bloom filters for efficiently searching across many Bloom filters.
An emulator for Software-Defined Wireless Local Area Networks (SD-WLAN) and Software-Defined LTE backhaul networks.
A command-line tool that analyzes C source code files and outputs dozens of code quality metrics related to size, complexity, style, and preprocessor usage.
An action-guided kernel fuzzing framework that synthesizes fuzzer programs based on triggered actions and their temporal relationships.
A Python implementation of the Optimum-Path Forest classifier for machine learning tasks.
A browser fuzzer that synthesizes test cases using memory-level API modification-reference relations to improve relevance.
Mutation analysis tool for Coq verification projects to detect incomplete specifications.
A metaheuristic optimization framework for solving complex combinatorial problems like N-queens and protein folding.
A multi-language tokenizer for extracting identifiers from source code using tree-sitter and pygments parsers.
An AI-powered web tool for automated full-text screening and data extraction from research papers to accelerate systematic reviews.
An HTML5/JavaScript experiment that collects data about human shape recognition through interactive web-based tasks.
A friendly automotive security exploration tool for CAN bus and ECU vulnerability research.
A turn-based roguelike puzzle game designed as a benchmark for modeling human decision-making styles and creating procedural personas.
A Python data pipeline for processing GTFS static and realtime bus datasets from Transport for NSW.
A framework for implementing agent-based experiments with Fluid Construction Grammar, multi-agent interactions, and robotic embodiment.
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.