Popular repositories Loading

1. arduino-home arduino-home Public

   Automation for turning on/off home appliances using webapp

   1

2. water-pump water-pump Public

   Residential Water Pump Control using Arduino

   C++

3. service-scheduler service-scheduler Public

   Service scheduler

   Java

4. infer infer Public

   Forked from facebook/infer

   A static analyzer for Java, C, C++, and Objective-C

   OCaml

5. doxygen doxygen Public

   Forked from doxygen/doxygen

   Official doxygen git repository

   C++

6. RFC768-verified RFC768-verified Public

   Forked from CharlesCNorton/RFC768-verified

   Formalization of RFC 768 in Coq

   Rocq Prover