Showing 22 of 58 projects
A deep learning framework for detecting and localizing upper-body, lower-body, and full-body clothes in fashion images.
A research prototype tool for modular formal verification of C, Rust, and Java programs using separation logic.
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.
An automatic formal verification tool that uses separation logic to verify memory safety of C programs.
A JAX library for second-order optimization of neural networks using the K-FAC curvature approximation algorithm.
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.
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.