Top 3 verified open source projects

Archived. Curve25519 support has been integrated into mirage-crypto-ec (via fiat-crypto). Hacl bindings are available from the hacl-star opam package. OCaml bindings for HACL* elliptic curves

✭ 21

c ocaml C++Makefile cryptography elliptic-curves verified f-star

ctl

My variant of the C Template Library

✭ 105

set list tree stack queue algorithms iterator priority-queue hashmap stl-containers rbtree verified hashtable deque algorithms-and-data-structures

Advanced-Shortest-Paths-Algorithms

Java Code for Contraction Hierarchies Algorithm, A-Star Algorithm and Bidirectional Dijkstra Algorithm. Tested and Verified Code.

✭ 63

java algorithms graph-algorithms graphs astar-algorithm priority-queue a-star shortest-paths verified tested hierarchies dijkstra-algorithm shortest-path-routing-algorithm contraction bidirectional-dijkstra reverse-graph bidirectional-dijkstra-algorithm contraction-hierarchies-algorithm shortest-path-algorithm

1-3 of 3 verified projects