Showing 1-7 of 7 projects
A comprehensive collection of algorithms and data structures in Java for developers to explore and learn from.
Open-source routing engine for OpenStreetMap that provides advanced navigation features like directions, isochrones, and traveling salesman.
A collection of JavaScript and TypeScript data structures and algorithms for educational purposes.
Implementation of algorithms and data structures with solutions in Java for developers.
F* is a proof-oriented programming language that supports dependent types, SMT solving, and verification.
A C++ library that uses Dijkstra's algorithm to generate maps and visualize geographic data.
A Rust library for various pathfinding algorithms, including A*, Dijkstra, and more.
Get weekly updates on trending AI coding tools and projects.