FStarLang / FStar

A Proof-oriented Programming Language

evenfurther / pathfinding

Pathfinding library for rust

graphhopper / graphhopper

Open source routing engine for OpenStreetMap. Use it as Java library or standalone web server.

valhalla / valhalla

Open Source Routing Engine for OpenStreetMap

davecom / SwiftGraph

A Graph Library for Swift

loiane / javascript-datastructures-algorithms

:books: collection of JavaScript and TypeScript data structures and algorithms for education purposes. Source code bundle of JavaScript algorithms and data structures book