An open API service providing repository metadata for many open source software ecosystems.

Topic: "ocaml"

INRIA/zelus

A synchronous language with ODEs

Language: OCaml - Size: 62.8 MB - Last synced at: 4 days ago - Pushed at: about 1 month ago - Stars: 53 - Forks: 14

ANSSI-FR/mabo

MRT Parser

Language: OCaml - Size: 41 KB - Last synced at: 4 days ago - Pushed at: over 6 years ago - Stars: 47 - Forks: 7

Antique-team/memcad

The MemCAD static analyzer

Size: 877 KB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 26 - Forks: 5

coq/bot

A (Coq Development Team) bot written in OCaml

Language: OCaml - Size: 6.73 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 23 - Forks: 16